package logtk

  1. Overview
  2. Docs
package logtk
Legend:
Library
Module
Module type
Parameter
Class
Class type
method virtual var : LogtkType.t -> int -> 'a
method virtual bvar : LogtkType.t -> int -> 'a
method virtual lambda : LogtkType.t -> 'a -> 'a
method virtual forall : LogtkType.t -> 'a -> 'a
method virtual exists : LogtkType.t -> 'a -> 'a
method virtual const : LogtkType.t -> LogtkSymbol.t -> 'a
method virtual at : 'a -> 'a -> 'a
method virtual tylift : LogtkType.t -> 'a
method virtual multiset : LogtkType.t -> 'a list -> 'a
method virtual record : (string * 'a) list -> 'a option -> 'a
method visit : t -> 'a