Module Kappa_terms.Kappa_printer

val alg_expr : noCounters:bool -> ?⁠env:Model.t -> Format.formatter -> Primitives.alg_expr -> unit
val bool_expr : noCounters:bool -> ?⁠env:Model.t -> Format.formatter -> (Pattern.id array list, int) Alg_expr.bool -> unit
val print_expr_val : ('a -> Kappa_generic_toolset.Nbr.t) -> Format.formatter -> 'a Primitives.print_expr list -> unit
val elementary_rule : noCounters:bool -> ?⁠env:Model.t -> Format.formatter -> Primitives.elementary_rule -> unit
val decompiled_rule : noCounters:bool -> full:bool -> Model.t -> Format.formatter -> Primitives.elementary_rule -> unit
val modification : noCounters:bool -> ?⁠env:Model.t -> Format.formatter -> Primitives.modification -> unit
val perturbation : noCounters:bool -> ?⁠env:Model.t -> Format.formatter -> Primitives.perturbation -> unit
val env : noCounters:bool -> Format.formatter -> Model.t -> unit
val env_kappa : noCounters:bool -> Format.formatter -> Model.t -> unit
val decompiled_env : noCounters:bool -> Format.formatter -> Model.t -> unit