Module Kappa_terms.Alg_expr_extra

val divide_expr_by_int : ('mix, 'id) Alg_expr.e Kappa_generic_toolset.Locality.annot -> int -> ('mix, 'id) Alg_expr.e Kappa_generic_toolset.Locality.annot
val simplify : ('mix, 'id) Alg_expr.e Kappa_generic_toolset.Locality.annot -> ('mix, 'id) Alg_expr.e Kappa_generic_toolset.Locality.annot
type ('mix, 'id) corrected_rate_const
val print : (Format.formatter -> ('mix, 'id) Alg_expr.e Kappa_generic_toolset.Locality.annot option -> unit) -> Format.formatter -> ('mix, 'id) corrected_rate_const option -> unit
val get_corrected_rate : ('mix, 'id) Alg_expr.e Kappa_generic_toolset.Locality.annot -> ('mix, 'id) corrected_rate_const option
val necessarily_equal : ('mix, 'id) corrected_rate_const option -> ('mix, 'id) corrected_rate_const option -> bool
val dep : 'set -> ('mix -> 'set -> 'set) -> ('id -> 'set -> 'set) -> ('set -> 'set -> 'set) -> ('id -> 'set) -> ?⁠time_var:'mix -> ('mix, 'id) Alg_expr.e Kappa_generic_toolset.Locality.annot -> 'set
val diff_token : ('mix, 'id) Alg_expr.e Kappa_generic_toolset.Locality.annot -> 'id -> ('mix, 'id) Alg_expr.e Kappa_generic_toolset.Locality.annot
val diff_mixture : ?⁠time_var:'mix -> ('mix, 'id) Alg_expr.e Kappa_generic_toolset.Locality.annot -> 'mix -> ('mix, 'id) Alg_expr.e Kappa_generic_toolset.Locality.annot
val fold_over_mixtures_in_alg_exprs : (Pattern.id -> 'a -> 'a) -> Model.t -> 'a -> 'a