Module Imandra_surface.Syn_term

Syntactic Terms

type rec_flag = Syn_term_intf.rec_flag =
| Recursive
| Nonrecursive
module type ARG = Syn_term_intf.ARG
module type S = Syn_term_intf.S
module Make : functor (A : ARG) -> S with type const = A.const and type id = A.id and type var = A.var and type ty = A.ty
type 'a printer = Stdlib.Format.formatter -> 'a -> unit
module type PP = Syn_term_intf.PP
module Make_pp : functor (A : PP_ARG) -> PP with module T = A.T
module Make_pp_ocaml : functor (A : PP_ARG) -> PP with module T = A.T