Module Cad_geomSource

Sourcetype pt = float * float
Sourceval add : pt -> pt -> pt
Sourceval sub : pt -> pt -> pt
Sourceval scale : float -> pt -> pt
Sourceval dot : pt -> pt -> float
Sourceval cross : pt -> pt -> float
Sourceval dist : pt -> pt -> float
Sourceval unit : pt -> pt
Sourceval polar : pt -> float -> float -> pt
Sourceval angle : pt -> pt -> float
Sourceval norm_angle : float -> float
Sourceval within : float -> float -> float -> bool
Sourcetype curve =
  1. | Segment of pt * pt
  2. | Circle of pt * float
  3. | Arc of pt * float * float * float
Sourceval arc_ends : pt -> float -> float -> float -> pt * pt
Sourceval param : pt -> pt -> pt -> float
Sourceval carrier_intersections : curve -> curve -> pt list
Sourceval on_piece : curve -> pt -> bool
Sourceval intersections : curve -> curve -> pt list
Sourceval nearest : curve -> pt -> pt
Sourceval distance : curve -> pt -> float
Sourceval foot : curve -> pt -> pt