/pliant/math/point.pli
 
 1  public 
 2   
 3    type Point2 
 4      field Float x y 
 5   
 6    type Point3 
 7      field Float x y z 
 8   
 9  function point x y -> p 
 10    arg Float y ; arg Point2 p 
 11    := x ; := y 
 12     
 13  function point x y z -> p 
 14    arg Float z ; arg Point3 p 
 15    := x ; := y ; := z 
 16   
 17  export point