Up – Package index » zelus-gtk » Library zelus-gtk » Zlsrungtk

Module `Zlsrungtk`Source

Sourcemodule Make (_ : Zls.STATE_SOLVER) : Zls.RUNTIME

Sourcemodule MakeDiscrete () : Zls.DISCRETE_RUNTIME