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

MAlonzo.Code.Certifier

Documentation

d_runCertifier_2 ∷ [T__'215'__426 T_SimplifierTag_4 (T__'215'__426 T_Hints_52 (T__'215'__426 T_Untyped_208 T_Untyped_208))] → T_Either_6 T_Error_2 T_Σ_14 Source #

runCertifierMain ∷ T_List_10 () (T__'215'__426 T_SimplifierTag_4 (T__'215'__426 T_Hints_52 (T__'215'__426 T_Untyped_208 T_Untyped_208))) → T_Maybe_10 () (T__'215'__426 Bool T_String_6) Source #

d_runCertifierMain_12 ∷ [T__'215'__426 T_SimplifierTag_4 (T__'215'__426 T_Hints_52 (T__'215'__426 T_Untyped_208 T_Untyped_208))] → Maybe (T__'215'__426 Bool T_String_6) Source #