Documentation

d_Extensionality_10 :: T_Level_14 -> T_Level_14 -> () Source #

d_ExtensionalityImplicit_32 :: T_Level_14 -> T_Level_14 -> () Source #

d_lower'45'extensionality_62 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> T_Level_14 -> (() -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12 Source #

d_'8704''45'extensionality_90 :: T_Level_14 -> T_Level_14 -> (() -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> () -> (AgdaAny -> ()) -> (AgdaAny -> ()) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12 Source #

d_implicit'45'extensionality_116 :: T_Level_14 -> T_Level_14 -> (() -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12) -> () -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> (AgdaAny -> T__'8801'__12) -> T__'8801'__12 Source #