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