val pretty_partition :
Stdlib.Format.formatter ->
Cfg.V.t Fixpoint__Wto.component list ->
unit
val pretty_component :
Stdlib.Format.formatter ->
Cfg.V.t Fixpoint__Wto.component ->
unit
val equal_component :
Cfg.V.t Fixpoint__Wto.component ->
Cfg.V.t Fixpoint__Wto.component ->
bool
val equal_partition :
Cfg.V.t Fixpoint__Wto.component list ->
Cfg.V.t Fixpoint__Wto.component list ->
bool