package logtk

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

Module Fingerprint.MakeSource

Parameters

Signature

include Index.TERM_IDX with type elt = X.t
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

Sourceval default_fp : fingerprint_fun
Sourceval empty_with : fingerprint_fun -> t

Empty index, using the given fingerprint function

Sourceval get_fingerprint : t -> fingerprint_fun
OCaml

Innovation. Community. Security.