package logtk

  1. Overview
  2. Docs
package logtk
Legend:
Library
Module
Module type
Parameter
Class
Class type
type ctx
val create : unit -> ctx
val copy : ctx -> ctx
val clear : ctx -> unit
val of_prolog : ctx:ctx -> LogtkPrologTerm.t -> t option
val to_prolog : ?curry:bool -> ?depth:int -> t -> LogtkPrologTerm.t

convert a type to a prolog term.

  • parameter depth

    the number of surrounding De Bruijn binders

  • parameter curry

    if true, keep types curried (default true), otherwise uncurry