Agda.TypeChecking.RecordPatterns
translateRecordPatterns
translateCompiledClauses
translateSplitTree
recordPatternToProjections