module Combi : sig ... endmodule Boltzmann : sig ... endmodule Solver : sig ... endval unsolve : 'c. 'c Combi.combi_class -> unitval solve_tree :
'a. K.t ->
K.t Misc.LClassMap.t ->
'a Combi.class_tree ->
'a Combi.solved_treeval get_solved_tree :
'a. K.t ->
K.t Misc.LClassMap.t ->
'a Combi.combi_class ->
'a Combi.solved_treetype _ konts = | K_Left : 'right Combi.stub
* ((int * 'left) ->
(int * 'right) ->
int * 'root) -> ('left -> 'root) konts| K_Right : ((int * 'right) -> int * 'root) -> ('right -> 'root) konts| K_Map : ('a -> 'b) -> ('a -> 'b) kontsval konts_to_string : ('a -> 'b) konts -> stringval klist_to_string : 'a. 'a klist -> stringval sample :
'a. ?min_size:int ->
?max_size:int ->
K.t ->
K.t Misc.LClassMap.t ->
'a Combi.combi_class ->
Random.State.t ->
int * 'aval get_singular_boltzmann_sampler :
'a. ?min_size:int ->
?max_size:int ->
'a Combi.combi_class ->
K.t ->
Random.State.t ->
int * 'a