Agda.TypeChecking.Rules.Builtin

bindBuiltin

bindPostulatedName