term-rewriting-0.1.2.2: Term Rewriting Library
Data.Rewriting.Rule.Type
Synopsis
module Data.Rewriting.Term.Type
data Rule f v Source
Rewrite rule with left-hand side and right-hand side.
Constructors
Fields
Instances