plutus-metatheory-1.60.0.0: Command line tool for running plutus core programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

MAlonzo.Code.Data.Nat.Divisibility.Core

Documentation

d__'8739'__20 :: p -> p -> () #

newtype T__'8739'__20 #

Constructors

C_divides_34 Integer 

d_quotient_30 :: T__'8739'__20 -> Integer #

d_equality_32 :: T__'8739'__20 -> T__'8801'__12 #

d__'8740'__36 :: Integer -> Integer -> () #

d__HasNonTrivialDivisorLessThan__50 :: p -> p -> () #

data T__HasNonTrivialDivisorLessThan__50 #

Constructors

C_hasNonTrivialDivisor_72 Integer T__'8804'__22 T__'8739'__20 

d_divisor_64 :: T__HasNonTrivialDivisorLessThan__50 -> Integer #

d_divisor'45''60'_68 :: T__HasNonTrivialDivisorLessThan__50 -> T__'8804'__22 #

d_divisor'45''8739'_70 :: T__HasNonTrivialDivisorLessThan__50 -> T__'8739'__20 #

d_'42''45'pres'45''8739'_74 :: Integer -> Integer -> Integer -> Integer -> T__'8739'__20 -> T__'8739'__20 -> T__'8739'__20 #

du_'42''45'pres'45''8739'_74 :: T__'8739'__20 -> T__'8739'__20 -> T__'8739'__20 #