let rec genBtype (idx: int) (dim: int) (bt: bType) (ic: intermediateCode) (b: bool) = match bt with
Int -> let off = (ic#stack) in (idx, dim, (Off(off, DInt, b)))
| Float -> let off = (ic#stack) in (idx, dim, (Off(off, DFloat, b)))