Module Mdata.S.Xindex


module Xindex: Indexed  with type t = varinfo

include Mdata.S.Registry
val get_ind : t -> Mdata.S.integer