Single import for the HaskLedger eDSL. Re-exports types, combinators, and compilation functions.

import HaskLedger

myValidator :: Validator
myValidator = validator "my-validator" $ do
  require "correct redeemer" $
    asInt theRedeemer .== 42