Containers.GraphSourceA simple graph library to represent control-flow graphs. Functor and module signature.
Generic functor to lift any type to an ID_TYPE module. Uses the polymorphic comparison, equality, and hashing.
Useful base cases.
module IdPair
(A : GraphSig.ID_TYPE)
(B : GraphSig.ID_TYPE) :
GraphSig.ID_TYPE with type t = A.t * B.tProduct.
val pp_nested_list :
(Stdlib.Format.formatter -> 'a -> unit) ->
Stdlib.Format.formatter ->
'a GraphSig.nested_list ->
unitPrinters.
val pp_nested_list_list :
(Stdlib.Format.formatter -> 'a -> unit) ->
Stdlib.Format.formatter ->
'a GraphSig.nested_list list ->
unitMain functor.