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

Index - <

<=Type.ANat, Type.Analyse
<=?Type.ANat, Type.Analyse