Up Next

Module type Index.EntryType

module type EntryType = sig .. end

Signature of the index entry types.

type entry

The type of the entries.

val get_term : entry -> Term.term