copilot-libraries-3.3: Libraries for the Copilot language.
Copyright(c) 2011 National Institute of Aerospace / Galois Inc.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Copilot.Library.Libraries

Description

This is a convenience module that re-exports a useful subset of modules from copilot-library. Not all modules are exported due to name clashes (e.g., in temporal logics implementations).

Documentation