Previous
Up
Module
Studia_gui
module
Studia_gui:
sig
..
end
kf_stmt_opt
is used if we want to ask the lval to the user in a popup