module Aindex: Indexed with type t = varinfo
Indexed
with type t = varinfo
include Mdata.S.Registry
val get_ind : t -> Mdata.S.integer
t -> Mdata.S.integer