Safe Haskell	None

MAlonzo.Code.Data.Nat.Properties.Core

Documentation

d_'8804''45'pred_12 :: Integer -> Integer -> T__'8804'__18 -> T__'8804'__18 Source #

du_'8804''45'pred_12 :: T__'8804'__18 -> T__'8804'__18 Source #