Module ImpureConfig

WARNING: Impure Config for BACKEND TRUSTED TO BE OBSERVATIONALLY PURE !!!

Require Export Impure.

Module Core.
  Include MkFullImpureMonad(PureImpureMonad).
End Core.

Export Core.

Global Opaque pure bind imp mayReturn impeq.
Generated by coq2html