Previous  Up  Next

Module ProofState_intf.S.TermIndex

module TermIndex: Index.TERM_IDX  with type elt = C.WithPos.t