sig val line : (int -> int -> unit) -> int * int -> int * int -> unit end