structure SearchMsg =
struct type t = LineGap.t * int vector vector * Time.time end