Imandra_surface.Syn_term_intf
type rec_flag
=
|
Recursive
Nonrecursive
module type ARG = sig ... end
module type S = sig ... end
type 'a printer
= Stdlib.Format.formatter -> 'a -> unit
module type PP_ARG = sig ... end
module type PP = sig ... end