Reduce.Make
module G : GraphI
module R : Regex.S with type letter = G.E.t
type state = (G.V.t, R.t) Stdlib.Hashtbl.t
val compute_exprs : G.t -> G.V.t Wto.partition -> state