plutus-core-1.30.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusIR.Certifier

Description

Interface to automatically extracted code from plutus-cert (Coq): - Conversion functions for PIR's AST to the representation in Coq. - Boolean decision procedures for translation relations

Synopsis

Documentation

is_dead_code ∷ Term a → Term a → Bool Source #

Check if only pure let bindings were eliminated

is_unique ∷ Term a → Bool Source #

Check if a term has unique binders