package term-indexing

  1. Overview
  2. Docs

Module Term_indexingSource

Sourcemodule Intf : sig ... end
Sourcemodule Path : sig ... end
Sourcemodule Pattern : sig ... end
Sourcemodule Subst : sig ... end
Sourcemodule Term : sig ... end
Sourcemodule Int_option : sig ... end
Sourcemodule Term_index : sig ... end
Sourcemodule Make (P : Intf.Signature) : sig ... end

Make(P) takes a signature as input and returns a module packing the main features of the library.