Module Formula.S.Xindex


module Xindex: Indexed  with type t = varinfo

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