{-# OPTIONS --safe --cubical #-}

module Spartan6.Examples.ValidatedArtifact where

-- Compatibility namespace.  Reusable clients should import the fixture
-- module directly instead of depending on `Spartan6.Examples.*`.

open import Spartan6.Fixtures.YosysArtifacts public