?group:Config_file.group -> string list -> ?short_name:string -> Configwin_types.html_binding option -> string -> [Configwin_types.html_binding] Config_file.option_cp