include sig ... end
val var_type_continuous : int G.constval var_type_semi_continuous : int G.constval var_type_semi_integer : int G.constval var_type_implicit_integer : int G.constval option_type_double : int G.constval option_type_string : int G.constval obj_sense_minimize : int G.constval obj_sense_maximize : int G.constval model_status_notset : int G.constval model_status_load_error : int G.constval model_status_model_error : int G.constval model_status_presolve_error : int G.constval model_status_solve_error : int G.constval model_status_postsolve_error : int G.constval model_status_model_empty : int G.constval model_status_optimal : int G.constval model_status_infeasible : int G.constval model_status_unbounded_or_infeasible : int G.constval model_status_unbounded : int G.constval model_status_objective_bound : int G.constval model_status_objective_target : int G.constval model_status_time_limit : int G.constval model_status_iteration_limit : int G.constval model_status_unknown : int G.constval model_status_solution_limit : int G.constval model_status_interrupt : int G.const