To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type species_system =
K.t Smol.Polynomial.Make(Literal.Variable).p Species.s
Map.Make(Literal.Class).ttype solution_kind = | Poly of species_system| Seq of K.t| Tree of K.t * K.t Map.Make(Literal.Class).t
val translate :
Literal.Class.t ->
'a Combi.Make(K).class_tree ->
species_systemval translate_class : 'a Combi.Make(K).combi_class -> species_systemval is_well_founded :
species_system ->
K.t Smol.Polynomial.Make(Literal.Variable).p Species.s
Smol.Matrix.Make(Literal.Class).m ->
boolval newton_iteration :
species_system ->
K.t Smol.Polynomial.Make(Literal.Variable).p Species.s
Smol.Matrix.Make(Literal.Class).m ->
K.t ->
K.t ->
K.t Map.Make(Literal.Class).t optionval eval_convergence_radius :
species_system ->
K.t Smol.Polynomial.Make(Literal.Variable).p Species.s
Smol.Matrix.Make(Literal.Class).m ->
K.t ->
K.t * K.t Map.Make(Literal.Class).t optionval classify :
species_system ->
K.t Smol.Polynomial.Make(Literal.Variable).p Species.s
Smol.Matrix.Make(Literal.Class).m ->
K.t ->
solution_kindval solve :
species_system ->
Literal.Class.t ->
K.t ->
int ->
K.t * K.t Map.Make(Literal.Class).t optionval solve_class :
'a Combi.Make(K).combi_class ->
K.t ->
int ->
K.t * K.t Map.Make(Literal.Class).t option