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