orgeat 0.0.1 · OCaml Package

module Boltzmann : sig ... end

type sequence_kind = {

}

val unbounded_seq : sequence_kind

val bounded_seq : int -> int option -> sequence_kind

type !'c class_tree =

and !'a solved_tree =

and !'a stub =

and !'a combi_class = {

}

val get_name : 'a combi_class -> Literal.Class.t

val get_class : 'a combi_class -> 'a class_tree option

val get_solved : 'a combi_class -> 'a solved_tree option

val new_class : Literal.Class.t -> 'a combi_class

val new_class_of_str : string -> 'a combi_class

val reset_class : 'a combi_class -> unit

val update_class : 'a combi_class -> 'a class_tree -> unit

val reset_solved : 'a combi_class -> unit

val update_solved : 'a combi_class -> 'a solved_tree -> unit

val tup2 : 'a class_tree -> 'b class_tree -> ('a * 'b) class_tree

val tup3 : 
  'a class_tree ->
  'b class_tree ->
  'c class_tree ->
  ('a * 'b * 'c) class_tree

val tup4 : 
  'a class_tree ->
  'b class_tree ->
  'c class_tree ->
  'd class_tree ->
  ('a * 'b * 'c * 'd) class_tree

val tup5 : 
  'a class_tree ->
  'b class_tree ->
  'c class_tree ->
  'd class_tree ->
  'e class_tree ->
  ('a * 'b * 'c * 'd * 'e) class_tree

val mul_scalar : K.t -> 'a class_tree -> 'a class_tree

val (+) : 'a class_tree -> 'a class_tree -> 'a class_tree

val (*) : 'a class_tree -> 'b class_tree -> ('a * 'b) class_tree

val z : 'a class_tree -> 'a class_tree

val seq : 'a class_tree -> 'a list class_tree

val seq_bounded : min:int -> ?max:int -> 'a class_tree -> 'a list class_tree

val option : 'a class_tree -> 'a option class_tree

val stub_node_to_string : 'a stub -> string

val solved_node_to_string : 'a solved_tree -> string

val solved_to_strings : 'a solved_tree -> string list

val pp_solved_tree : Format.formatter -> 'a solved_tree -> unit

package orgeat