package KaSim

  1. Overview
  2. Docs
val value_alg : Counter.t -> ?time:float -> get_alg:(int -> Primitives.alg_expr) -> get_mix:(Pattern.id array list -> Nbr.t) -> get_tok:(int -> Nbr.t) -> Primitives.alg_expr -> Nbr.t
val value_bool : Counter.t -> ?time:float -> get_alg:(int -> Primitives.alg_expr) -> get_mix:(Pattern.id array list -> Nbr.t) -> get_tok:(int -> Nbr.t) -> (Pattern.id array list, int) Alg_expr.bool -> bool
OCaml

Innovation. Community. Security.