ADP.Fusion.SynVar.Array.Type

data ITbl m arr c i x

axiom stuff

Element

Multi-dim extensions