method op_spaced : string -> bool
method op_record : string * string
method pp_declare_adt : Stdlib.Format.formatter -> T.ADT.t -> int -> unit
method pp_declare_def : Stdlib.Format.formatter ->
T.ADT.t ->
int ->
T.tau ->
unit
method pp_declare_sum : Stdlib.Format.formatter ->
T.ADT.t ->
int ->
(T.Fun.t * T.tau list) list ->
unit
method declare_type : Stdlib.Format.formatter ->
T.ADT.t ->
int ->
typedef ->
unit
method declare_prop : kind:string ->
Stdlib.Format.formatter ->
string ->
T.var list ->
trigger list list ->
T.term ->
unit
method declare_axiom : Stdlib.Format.formatter ->
string ->
T.var list ->
trigger list list ->
T.term ->
unit
method declare_fixpoint : prefix:string ->
Stdlib.Format.formatter ->
T.Fun.t ->
T.var list ->
T.tau ->
T.term ->
unit
method declare_signature : Stdlib.Format.formatter ->
T.Fun.t ->
T.tau list ->
T.tau ->
unit