module Tindex: Indexed with type t = compinfo
Indexed
with type t = compinfo
include Formula.S.Registry
val get_ind : t -> Formula.S.integer
t -> Formula.S.integer
val has_ind : t -> Formula.S.pred -> bool
t -> Formula.S.pred -> bool