Module CHSCC

val zero : CHBounds.bound_t
class loop_stack_t : object ... end
type wto_component_t =
  1. | SCC of wto_t
  2. | VERTEX of CHLanguage.symbol_t
and wto_t = wto_component_t list
val pretty_print_wto : wto_component_t list -> CHPretty.pretty_t
class wto_engine_t : CHUtils.graph_t -> object ... end