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