Documentation

d_'8869'_4 :: () Source #

data T_'8869'_4 Source #

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

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