sig
val
'
voronoi : del
->
bool
val
'
area : del
end