method private _set_constr_model = fun store -> constr_view.sv_view#set_model (Some store#coerce); current_constr_store <- store; (* FIXME: Check for a real signal *) self#_cb__constr_view_selection_changed ()