Alg_expr_extra (kappa-library.Kappa_terms.Alg_expr

val divide_expr_by_int : 
  ('mix, 'id) Alg_expr.e Kappa_data_structures.Loc.annoted ->
  int ->
  ('mix, 'id) Alg_expr.e Kappa_data_structures.Loc.annoted

val simplify : 
  ('mix, 'id) Alg_expr.e Kappa_data_structures.Loc.annoted ->
  ('mix, 'id) Alg_expr.e Kappa_data_structures.Loc.annoted

type ('mix, 'id) corrected_rate_const

val print : 
  (Stdlib.Format.formatter ->
    ('mix, 'id) Alg_expr.e Kappa_data_structures.Loc.annoted option ->
    unit) ->
  Stdlib.Format.formatter ->
  ('mix, 'id) corrected_rate_const option ->
  unit

val get_corrected_rate : 
  ('mix, 'id) Alg_expr.e Kappa_data_structures.Loc.annoted ->
  ('mix, 'id) corrected_rate_const option

val necessarily_equal : 
  ('mix, 'id) corrected_rate_const option ->
  ('mix, 'id) corrected_rate_const option ->
  bool

derivation

val dep : 
  'set ->
  ('mix -> 'set -> 'set) ->
  ('id -> 'set -> 'set) ->
  ('set -> 'set -> 'set) ->
  ('id -> 'set) ->
  ?time_var:'mix ->
  ('mix, 'id) Alg_expr.e Kappa_data_structures.Loc.annoted ->
  'set

val diff_token : 
  ('mix, 'id) Alg_expr.e Kappa_data_structures.Loc.annoted ->
  'id ->
  ('mix, 'id) Alg_expr.e Kappa_data_structures.Loc.annoted

val diff_mixture : 
  ?time_var:'mix ->
  ('mix, 'id) Alg_expr.e Kappa_data_structures.Loc.annoted ->
  'mix ->
  ('mix, 'id) Alg_expr.e Kappa_data_structures.Loc.annoted

val fold_over_mixtures_in_alg_exprs : 
  (Pattern.id -> 'a -> 'a) ->
  Model.t ->
  'a ->
  'a