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

Scoping.Spec

Synopsis

Documentation

prop_equalityFor ∷ program ~ Program Name DefaultUni DefaultFun () ⇒ (program → Quote program) → Property Source #

Test equality of a program and its renamed version, given a renamer.