package logtk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type 'a t = {
  1. var : term -> ?loc:location -> ?ty:'a -> string -> 'a;
  2. bvar : term -> ?loc:location -> ?ty:'a -> string -> 'a;
  3. app : term -> ?loc:location -> ?ty:'a -> 'a -> 'a list -> 'a;
  4. const : term -> ?loc:location -> ?ty:'a -> LogtkSymbol.t -> 'a;
  5. bind : term -> ?loc:location -> ?ty:'a -> LogtkSymbol.t -> 'a -> 'a -> 'a;
  6. multiset : term -> ?loc:location -> ?ty:'a -> 'a list -> 'a;
  7. 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 apply : visitor:'a t -> term -> 'a
val id : term t
val for_all : bool t