Agda.TypeChecking.Rules.Data

Datatypes