Up – Package index » logtk » Library logtk.proofs » Logtk_proofs » LLTerm » Conv

Module `LLTerm.Conv`Source

Sourcetype ctx

Sourceval create : unit -> ctx

Sourceval of_term : ctx -> Logtk.TypedSTerm.t -> t