ADP.Fusion.SynVar.Array.Type

data ITbl arr c i x

type TwITbl m arr c i x

type TwITblBt arr c i x mF mB r

axiom stuff

Element

Multi-dim extensions