let
listbox =
new
Ocvs_list
.box (lb :>
Ocvs_types
.cvs_info
Ocvs_behav
.list_behaviour)