Safe Haskell	None

MAlonzo.Code.Data.Nat.Divisibility.Core

Documentation

d__'8739'__12 :: p1 -> p2 -> () Source #

newtype T__'8739'__12 Source #

Constructors

C_divides_26 Integer

d_quotient_22 :: T__'8739'__12 -> Integer Source #

d_equality_24 :: T__'8739'__12 -> T__'8801'__12 Source #

d__'8740'__28 :: Integer -> Integer -> () Source #

d_'42''45'pres'45''8739'_42 :: Integer -> Integer -> Integer -> Integer -> T__'8739'__12 -> T__'8739'__12 -> T__'8739'__12 Source #

du_'42''45'pres'45''8739'_42 :: T__'8739'__12 -> T__'8739'__12 -> T__'8739'__12 Source #