Int.S
type point
= int * int
val ccw : point -> point -> point -> bool
val in_circle : point -> point -> point -> point -> bool