Up
Next
Module
Inf.Vars
module
Vars:
sig
..
end
Module that containts the variables
include
Gvars.VARS
val
reset :
unit -> unit