term-rewriting-0.1.2.2: Term Rewriting Library
Data.Rewriting.Context.Type
data Ctxt f v Source
Constructors
Hole
Non-empty context
Instances