Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Copilot.Theorem.Kind2
Documentation
module Copilot.Theorem.Kind2.Prover
prettyPrint :: File -> String Source #
Constructors
PredDef | |
Fields
|
data StateVarDef Source #
Constructors
StateVarDef | |
data StateVarFlag Source #
Constructors
FConst |