package logtk
-
logtk
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package logtk
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val create : unit -> ctxval clear : ctx -> unitval of_prolog : ctx:ctx -> LogtkPrologTerm.t -> t optionval to_prolog : ?curry:bool -> ?depth:int -> t -> LogtkPrologTerm.tconvert a type to a prolog term.