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'__12 ∷ p → p → () 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 #