let main () = (* Value computations *) if Value_parameters.ForceValues.get () then begin !Db.Value.compute (); Value_parameters.ForceValues.output display_results; end