Module Dhunk_analysis.Wto_alg
val pretty_partition :
Stdlib.Format.formatter ->
G.V.t Fixpoint__Wto.component list ->
unit
val pretty_component :
Stdlib.Format.formatter ->
G.V.t Fixpoint__Wto.component ->
unit
val equal_component :
G.V.t Fixpoint__Wto.component ->
G.V.t Fixpoint__Wto.component ->
bool
val equal_partition :
G.V.t Fixpoint__Wto.component list ->
G.V.t Fixpoint__Wto.component list ->
bool