package zelus-gtk

  1. Overview
  2. Docs

Parameters

module _ : Zls.STATE_SOLVER

Signature

val go : unit Ztypes.hsimu -> unit
val check : bool Ztypes.hsimu -> int -> unit