open import Nominal
open import Nominal.Swap.Example

-- open import Example

open import ULC
-- T0D0: fix constants (minFresh used now)
-- open import ULC.Examples