Agda.TypeChecking.RecordPatterns

translateRecordPatterns

translateCompiledClauses

translateSplitTree

recordPatternToProjections