Module Printer.Smtlib2_format
val print_not : 'a Fmt.t -> 'a Fmt.tval print_call : 'a Fmt.t -> 'a -> 'b Fmt.t -> 'b list Fmt.tval print_infix : 'a Fmt.t -> 'a -> 'b Fmt.t -> 'b list Fmt.tval print_suffix : 'a Fmt.t -> 'a -> 'b Fmt.t -> 'b list Fmt.tval print_tester : 'a Fmt.t -> 'a Fmt.tval print_indexed : 'a Fmt.t -> 'a -> 'b Fmt.t -> 'b list Fmt.tval alias : native:'a -> smtlib:'a -> 'a