Agda.TypeChecking.Rules.Record

Records