plutus-metatheory-0.1.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 → () Source #

newtype T__'8739'__20 Source #

Constructors

C_divides_34 Integer 

d_quotient_30 ∷ T__'8739'__20 → Integer Source #

d_equality_32 ∷ T__'8739'__20 → T__'8801'__12 Source #

d__'8740'__36 ∷ Integer → Integer → () Source #

d__HasNonTrivialDivisorLessThan__50 ∷ p → p → () Source #

data T__HasNonTrivialDivisorLessThan__50 Source #

Constructors

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

d_divisor_64 ∷ T__HasNonTrivialDivisorLessThan__50 → Integer Source #

d_divisor'45''60'_68 ∷ T__HasNonTrivialDivisorLessThan__50 → T__'8804'__22 Source #

d_divisor'45''8739'_70 ∷ T__HasNonTrivialDivisorLessThan__50 → T__'8739'__20 Source #

d_'42''45'pres'45''8739'_74 ∷ Integer → Integer → Integer → Integer → T__'8739'__20 → T__'8739'__20 → T__'8739'__20 Source #

du_'42''45'pres'45''8739'_74 ∷ T__'8739'__20 → T__'8739'__20 → T__'8739'__20 Source #