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

MAlonzo.Code.Certifier

Documentation

d_runCertifier_2 ∷ T_List_414 (T__'215'__396 T_SimplifierTag_4 (T__'215'__396 T_Hints_46 (T__'215'__396 T_Untyped_208 T_Untyped_208))) → Maybe T_Cert_656 Source #

runCertifierMain ∷ T_List_414 (T__'215'__396 T_SimplifierTag_4 (T__'215'__396 T_Hints_46 (T__'215'__396 T_Untyped_208 T_Untyped_208))) → T_Maybe_10 () (T__'215'__396 Bool T_String_6) Source #

d_runCertifierMain_16 ∷ T_List_414 (T__'215'__396 T_SimplifierTag_4 (T__'215'__396 T_Hints_46 (T__'215'__396 T_Untyped_208 T_Untyped_208))) → Maybe (T__'215'__396 Bool T_String_6) Source #