package logtk

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Term.ConvSource

Sourceval create : unit -> ctx
Sourceval of_simple_term : ctx -> TypedSTerm.t -> t option
Sourceval of_simple_term_exn : ctx -> TypedSTerm.t -> t
Sourceval 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
OCaml

Innovation. Community. Security.