Module Mdata.S.Aindex


module Aindex: Indexed  with type t = varinfo

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