Up – Package index » logtk » Library logtk » Logtk » Term » Conv

Module `Term.Conv`Source

Sourcetype ctx = Type.Conv.ctx

Sourceval create : unit -> ctx

Sourceval of_simple_term : ctx -> TypedSTerm.t -> t option

Sourceval of_simple_term_exn : ctx -> TypedSTerm.t -> t

val to_simple_term : 
  ?allow_free_db:bool ->
  ?env:TypedSTerm.t Var.t DBEnv.t ->
  ctx ->
  t ->
  TypedSTerm.t

Sourceval var_to_simple_var : ?prefix:string -> ctx -> var -> TypedSTerm.t Var.t