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