Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module ToS : sig ... end
module ToSTree : sig ... end
module OfStree : sig ... end
val check_input : Wap_exchange.input -> bool
val check_output_component :
int ->
int ->
Wap_exchange.output_component ->
bool
val check_sequence_pred : ?i:int -> Wap_exchange.sequence -> bool
val check_output : Wap_exchange.output -> bool
val assert_input : Wap_exchange.input -> unit
val assert_sequence_pred : ?i:int -> Wap_exchange.sequence -> unit
val assert_output : Wap_exchange.output -> unit
val normalize_input : Wap_exchange.input -> Wap_exchange.input
val operator_SO :
Wap_exchange.input ->
int list ->
Wap_exchange.output_component * Wap_exchange.input
val update_tree : ?vlen:int option -> Wap_exchange.output -> unit
val operator_SSO :
?verbose:bool ->
?optimal:bool ->
Wap_exchange.input ->
int list list ->
Wap_exchange.output
val to_GraphHFT : Wap_exchange.input -> GuaCaml.GraphHFT.Type.hg