sig type point = int * int val ccw : point -> point -> point -> bool val in_circle : point -> point -> point -> point -> bool end