model-0.5: Derive a model of a data type using Generics

Index - K

K1 
1 (Type/Class)Data.Model.Types, Data.Model
2 (Data Constructor)Data.Model.Types, Data.Model
KnownNatType.ANat, Type.Analyse
KnownSymbolType.ANat, Type.Analyse