Safe Haskell	None

MAlonzo.Code.Relation.Nullary.Indexed

Documentation

d_'172'_10 :: T_Level_14 -> T_Level_14 -> () -> () Source #