Blocks.Make
Build persistent (resp. imperative) graphs from a persistent (resp. imperative) association table
module F : TBL_BUILDER
module Digraph : sig ... end