Module `Kappa_runtime.Expr_interpreter`

val value_alg : Counter.t -> ?⁠time:float -> get_alg:(int -> Kappa_terms.Primitives.alg_expr) -> get_mix:(Kappa_terms.Pattern.id array list -> Kappa_generic_toolset.Nbr.t) -> get_tok:(int -> Kappa_generic_toolset.Nbr.t) -> Kappa_terms.Primitives.alg_expr -> Kappa_generic_toolset.Nbr.t: value_alg c ?t get_alg get_mix get_tok expr_alg with get_mix [interp1;...;interpn]

val value_bool : Counter.t -> ?⁠time:float -> get_alg:(int -> Kappa_terms.Primitives.alg_expr) -> get_mix:(Kappa_terms.Pattern.id array list -> Kappa_generic_toolset.Nbr.t) -> get_tok:(int -> Kappa_generic_toolset.Nbr.t) -> (Kappa_terms.Pattern.id array list, int) Kappa_terms.Alg_expr.bool -> bool