Module FOTerm.Conv

module Conv: sig .. end

type ctx 

val create : unit -> ctx

val of_simple_term : ctx -> TypedSTerm.t -> FOTerm.t option

val of_simple_term_exn : ctx -> TypedSTerm.t -> FOTerm.t

val to_simple_term : ?env:TypedSTerm.t Var.t DBEnv.t -> FOTerm.t -> TypedSTerm.t