Name | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
NameCon | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
namedBoundMatchesBind | DDC.Core.Tetra.Compounds |
NameLitBool | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
NameLitInt | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
NameLitNat | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
NameLitWord | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
NameOpPrimArith | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
NameOpPrimRef | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
NameTyConPrim | DDC.Core.Tetra.Prim, DDC.Core.Tetra |
NameVar | DDC.Core.Tetra.Prim, DDC.Core.Tetra |