Up – Package index » zelus » Library zelus » Zlsrun » Make

Module `Zlsrun.Make`Source

Parameters

module SSolver : Zls.STATE_SOLVER

Sourceval go : unit Ztypes.hsimu -> unit

Sourceval check : bool Ztypes.hsimu -> int -> unit