Module LogtkType.Conv

module Conv: sig .. end

type ctx 
val create : unit -> ctx
val copy : ctx -> ctx
val clear : ctx -> unit
val of_prolog : ctx:ctx -> LogtkPrologTerm.t -> LogtkType.t option
val to_prolog : ?curry:bool -> ?depth:int -> LogtkType.t -> LogtkPrologTerm.t
convert a type to a prolog term.
curry : if true, keep types curried (default true), otherwise uncurry
depth : the number of surrounding De Bruijn binders