Module Ty.NaryopSource

Sourcetype t =
  1. | Logand
    (*

    Logical AND.

    *)
  2. | Logor
    (*

    Logical OR.

    *)
  3. | Concat
    (*

    Concatenation.

    *)
  4. | Regexp_union
    (*

    Union of regular expressions.

    *)

The type t represents n-ary operations.

Sourceval equal : t -> t -> bool

equal op1 op2 checks if n-ary operations op1 and op2 are equal.

Sourceval pp : t Fmt.t

pp fmt op pretty-prints the n-ary operation op using the formatter fmt.