Module Jasmin.Array_expandSource

Sourceval init_tbl : ('info, 'asm) Prog.func -> Prog.Sv.t * (Wsize.wsize * Prog.var array) Prog.Hv.t