BitML.Semantics

Source code on Github
open import Prelude.Init; open SetAsType
open import Prelude.DecEq

open import BitML.BasicTypes

module BitML.Semantics (⋯ : ⋯) where

open import BitML.Semantics.Configurations.Types ⋯ public
open import BitML.Semantics.Configurations.Helpers ⋯ public
open import BitML.Semantics.Action ⋯ public
open import BitML.Semantics.Label ⋯ public
open import BitML.Semantics.Predicate ⋯ public
open import BitML.Semantics.InferenceRules ⋯ public
open import BitML.Semantics.RuleMatching ⋯ public
open import BitML.Semantics.DecidableInference ⋯ public