ToF | Symantic.Syntaxes.TuplesOfFunctions, Symantic.Syntaxes, Symantic |
ToFer | |
1 (Type/Class) | Symantic.Semantics.ToFer, Symantic.Semantics, Symantic |
2 (Data Constructor) | Symantic.Semantics.ToFer, Symantic.Semantics, Symantic |
ToFIf | Symantic.Syntaxes.TuplesOfFunctions, Symantic.Syntaxes, Symantic |
Tuples | Symantic.Syntaxes.EithersOfTuples, Symantic.Syntaxes, Symantic |
tuplesOfFunctions | Symantic.Semantics.ToFer, Symantic.Semantics, Symantic |
TuplesOfRep | Symantic.Syntaxes.EithersOfTuples, Symantic.Syntaxes, Symantic |
tuplesOfRep | Symantic.Syntaxes.EithersOfTuples, Symantic.Syntaxes, Symantic |
TypeOfRepField | Symantic.Syntaxes.EithersOfTuples, Symantic.Syntaxes, Symantic |