Up – Package index » jasmin » Library jasmin.jasmin » Jasmin » Global

Module `Jasmin.Global`

type glob_value =

| Gword of Wsize.wsize * Ssralg.GRing.ComRing.sort
| Garr of BinNums.positive * Warray_.WArray.array

type glob_decl = Var0.Var.var * glob_value