Module Reduce.MakeSource

Parameters

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

Signature

Sourcetype state = (G.V.t, R.t) Hashtbl.t
Sourceval compute_exprs : G.t -> G.V.t Wto.partition -> state