package KaSim

  1. Overview
  2. Docs
package KaSim
Legend:
Library
Module
Module type
Parameter
Class
Class type
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