Module type Formula.S.Indexed


module type Indexed = sig .. end

Buitin Indexd Declaration



include Formula.S.Registry
val get_ind : t -> Formula.S.integer
val has_ind : t -> Formula.S.pred -> bool