Module Reduce.Make

Parameters

module G : GraphI
module R : Regex.S with type letter = G.E.t

Signature

type state = (G.V.t, R.t) Stdlib.Hashtbl.t
val compute_exprs : G.t -> G.V.t Wto.partition -> state