package codex

  1. Overview
  2. Docs
package codex
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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