term-indexing
Term_indexing
module Intf : sig ... end
module Path : sig ... end
module Pattern : sig ... end
module Subst : sig ... end
module Term : sig ... end
module Int_option : sig ... end
module Term_index : sig ... end
module Make (P : Intf.Signature) : sig ... end
Make(P) takes a signature as input and returns a module packing the main features of the library.
Make(P)
signature