Module Register_gui.SelectedStmt


module SelectedStmt: sig .. end

include struct ... end