Library FreeSpec.Core.Core

From FreeSpec.Core Require Export
     Interface
     Impure
     Semantics
     Component.

#[global]
Open Scope freespec_scope.