package KaSim

  1. Overview
  2. Docs
type t
type stat = {
  1. nodes : int;
  2. nav_steps : int;
}
val sigs : t -> Signature.s
val of_env : Env.t -> t
val empty : Signature.s -> t
val debug_print : Format.formatter -> t -> unit
OCaml

Innovation. Community. Security.