hermit-0.5.0.0: Haskell Equational Reasoning Model-to-Implementation Tunnel

Safe HaskellNone
LanguageHaskell2010

HERMIT.Dictionary.WorkerWrapper.Common

Documentation

data WWAssumptionTag Source

Constructors

A 
B 
C 

Instances

data WWAssumption Source

Constructors

WWAssumption WWAssumptionTag (RewriteH CoreExpr) 

workLabel :: Label Source