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

MAlonzo.Code.Data.Nat.Base

Documentation

d__'8804'__18 ∷ p → p → () Source #

d__'8804''8242'__154 ∷ p → p → () Source #

d__'8804''8243'__188 ∷ p → p → () Source #

d__'8804''8244'__222 ∷ p → p → () Source #

d_Ordering_252 ∷ p → p → () Source #