Safe HaskellNone

MAlonzo.Code.Data.Empty.Irrelevant

Documentation

d_'8869''45'elim_10 :: T_Level_14 -> () -> T_'8869'_4 -> AgdaAny Source #

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