package logtk

  1. Overview
  2. Docs
package logtk
Legend:
Library
Module
Module type
Parameter
Class
Class type
method virtual var : ?loc:location -> string -> 'a
method virtual int_ : ?loc:location -> Z.t -> 'a
method virtual rat_ : ?loc:location -> Q.t -> 'a
method virtual const : ?loc:location -> LogtkSymbol.t -> 'a
method virtual syntactic : ?loc:location -> LogtkSymbol.t -> 'a list -> 'a
method virtual app : ?loc:location -> 'a -> 'a list -> 'a
method virtual bind : ?loc:location -> LogtkSymbol.t -> 'a list -> 'a -> 'a
method virtual list_ : ?loc:location -> 'a list -> 'a
method virtual record : ?loc:location -> (string * 'a) list -> 'a option -> 'a
method virtual column : ?loc:location -> 'a -> 'a -> 'a
method visit : t -> 'a