sig val check_itv : (float * float) array array -> bool val check : Q.t array array -> bool val check_complete : Q.t array array -> bool val check_PSD : Q.t array array -> bool val string_of_float_bin : float -> string end