| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Induction
Documentation
d_RecStruct_20 :: T_Level_18 -> () -> T_Level_18 -> T_Level_18 -> () #
d_RecursorBuilder_24 :: T_Level_18 -> () -> T_Level_18 -> T_Level_18 -> ((AgdaAny -> ()) -> AgdaAny -> ()) -> () #
d_Recursor_30 :: T_Level_18 -> () -> T_Level_18 -> T_Level_18 -> ((AgdaAny -> ()) -> AgdaAny -> ()) -> () #
d_build_36 :: T_Level_18 -> () -> T_Level_18 -> T_Level_18 -> ((AgdaAny -> ()) -> AgdaAny -> ()) -> ((AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny) -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #
du_build_36 :: ((AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny) -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #
d_SubsetRecursorBuilder_46 :: T_Level_18 -> () -> T_Level_18 -> T_Level_18 -> T_Level_18 -> (AgdaAny -> ()) -> ((AgdaAny -> ()) -> AgdaAny -> ()) -> () #
d_SubsetRecursor_54 :: T_Level_18 -> () -> T_Level_18 -> T_Level_18 -> T_Level_18 -> (AgdaAny -> ()) -> ((AgdaAny -> ()) -> AgdaAny -> ()) -> () #
d_subsetBuild_62 :: T_Level_18 -> () -> T_Level_18 -> (AgdaAny -> ()) -> T_Level_18 -> T_Level_18 -> ((AgdaAny -> ()) -> AgdaAny -> ()) -> ((AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny #