Safe Haskell	None

MAlonzo.Code.Data.Empty.Polymorphic

Documentation

d_'8869'_8 :: T_Level_14 -> () Source #

d_'8869''45'elim_20 :: T_Level_14 -> T_Level_14 -> (T_Lift_8 -> ()) -> T_Lift_8 -> AgdaAny Source #

du_'8869''45'elim_20 :: AgdaAny Source #