sig
  val pnt :
    float ->
    p_pred:AGeom.Point3d.t ->
    p0:AGeom.Point3d.t ->
    p1:AGeom.Point3d.t -> p_succ:AGeom.Point3d.t -> float -> AGeom.Point3d.t
end