From 74cd42c5cae6644914334448e198d562f4145511 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Fri, 1 Jan 2021 16:48:23 +0100 Subject: Use first type module instead of functors pt.2 --- path/fixed.mli | 24 ++---------------------- 1 file changed, 2 insertions(+), 22 deletions(-) (limited to 'path/fixed.mli') diff --git a/path/fixed.mli b/path/fixed.mli index 3fc542c..1f02aed 100755 --- a/path/fixed.mli +++ b/path/fixed.mli @@ -11,33 +11,13 @@ module type P = sig end -module type REPR = sig - type t - - type repr - - (* Start a new path. *) - val start - : t -> repr -> repr - - val line_to - : t -> t -> repr -> repr - - val quadratic_to - : t -> Gg.v2 -> Gg.v2 -> t -> repr -> repr - - val stop - : repr -> repr -end - - module Make(Point:P) : sig module type BUILDER = sig type t val repr - : t -> (module REPR with type t = Point.t and type repr = 's) -> 's -> 's + : t -> (module Repr.M with type t = Point.t and type repr = 's) -> 's -> 's end @@ -53,7 +33,7 @@ module Make(Point:P) : sig (** Represent the path *) val repr - : t -> (module REPR with type t = Point.t and type repr = 's) -> 's -> 's + : t -> (module Repr.M with type t = Point.t and type repr = 's) -> 's -> 's (** Return the distance between a given point and the curve. May return None if the point is out of the curve *) -- cgit v1.2.3