package smtml

The type t represents n-ary operations.

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

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