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
type 'a t = {var : term -> ?loc:location -> ?ty:'a -> string -> 'a;bvar : term -> ?loc:location -> ?ty:'a -> string -> 'a;app : term -> ?loc:location -> ?ty:'a -> 'a -> 'a list -> 'a;const : term -> ?loc:location -> ?ty:'a -> LogtkSymbol.t -> 'a;bind : term -> ?loc:location -> ?ty:'a -> LogtkSymbol.t -> 'a -> 'a -> 'a;multiset : term -> ?loc:location -> ?ty:'a -> 'a list -> 'a;record : term -> ?loc:location -> ?ty:'a -> (string * 'a) list -> 'a option -> 'a;
}Fold-like operation that maps a term into a value of type 'a
val for_all : bool t