sig type t = { mine_start : int; other_start : int; length : int; } end