module languages/casl/syntax/Concrete
imports languages/casl/syntax/Lib
exports
  sorts
    Specs-Defn
  context-free syntax
    Arch-Spec-Defn -> Specs-Defn
    Unit-Spec-Defn -> Specs-Defn
    Spec-Defn      -> Specs-Defn
    Lib-Defn       -> Specs-Defn