module Aindex: Dindex(Varaddr)
Dindex
(
Varaddr
)
include struct ... end
val get_ind : t -> Datalib.Create.integer
t -> Datalib.Create.integer