Kappa_printer (kappa-library.Kappa_terms.Kappa

val alg_expr : 
  noCounters:bool ->
  ?env:Model.t ->
  Stdlib.Format.formatter ->
  Primitives.alg_expr ->
  unit

val bool_expr : 
  noCounters:bool ->
  ?env:Model.t ->
  Stdlib.Format.formatter ->
  (Pattern.id array list, int) Alg_expr.bool ->
  unit

val print_expr_val : 
  ('a -> Kappa_data_structures.Nbr.t) ->
  Stdlib.Format.formatter ->
  'a Primitives.print_expr list ->
  unit

val elementary_rule : 
  noCounters:bool ->
  ?env:Model.t ->
  Stdlib.Format.formatter ->
  Primitives.elementary_rule ->
  unit

val decompiled_rule : 
  noCounters:bool ->
  full:bool ->
  Model.t ->
  Stdlib.Format.formatter ->
  Primitives.elementary_rule ->
  unit

val modification : 
  noCounters:bool ->
  ?env:Model.t ->
  Stdlib.Format.formatter ->
  Primitives.modification ->
  unit

val perturbation : 
  noCounters:bool ->
  ?env:Model.t ->
  Stdlib.Format.formatter ->
  Primitives.perturbation ->
  unit

val env : noCounters:bool -> Stdlib.Format.formatter -> Model.t -> unit

val env_kappa : noCounters:bool -> Stdlib.Format.formatter -> Model.t -> unit

val decompiled_env : 
  noCounters:bool ->
  Stdlib.Format.formatter ->
  Model.t ->
  unit