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

Safe HaskellNone

HERMIT.Dictionary.WorkerWrapper.Common

Documentation

data WWAssumptionTag Source

Constructors

A 
B 
C 

Instances

data WWAssumption Source

Constructors

WWAssumption WWAssumptionTag (RewriteH CoreExpr) 

workLabel :: LabelSource