sig
type
entry
val
get_term :
Index
.
EntryType
.entry
->
Term
.term
end