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

module Spartan6.Architecture.EvidenceRegistry where

open import Spartan6.Evidence using (RuleTraceability)
import Spartan6.Architecture.Primitive as Architecture
import Spartan6.Validation.Parameter as Mode

modeTraceability : (kind : Architecture.PrimitiveKind)
  → Mode.CoreParameters kind → RuleTraceability
modeTraceability kind mode = Architecture.kindTraceability kind