Make.S
type point
val ccw : point -> point -> point -> bool
val in_circle : point -> point -> point -> point -> bool