package logtk

  1. Overview
  2. Docs
package logtk
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module NPDtree.MakeTermSource

Parameters

Signature

Sourcetype t
Sourcetype elt = X.t
Sourcemodule Leaf : Index_intf.LEAF with type elt = elt
Sourceval name : string
Sourceval empty : unit -> t
Sourceval is_empty : t -> bool
Sourceval size : t -> int
Sourceval add : t -> Index_intf.term -> elt -> t
Sourceval add_seq : t -> (Index_intf.term * elt) Iter.t -> t
Sourceval add_list : t -> (Index_intf.term * elt) list -> t
Sourceval remove : t -> Index_intf.term -> elt -> t
Sourceval remove_seq : t -> (Index_intf.term * elt) Iter.t -> t
Sourceval remove_list : t -> (Index_intf.term * elt) list -> t
Sourceval iter : t -> (Index_intf.term -> elt -> unit) -> unit
Sourceval fold : t -> ('a -> Index_intf.term -> elt -> 'a) -> 'a -> 'a

print oneself in DOT into the given file