From 979be5f588a1ffd6e1d060cd794e87526d517b7a Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Mon, 11 Jan 2021 05:36:46 +0100 Subject: Layer review --- path/fixed.mli | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'path/fixed.mli') diff --git a/path/fixed.mli b/path/fixed.mli index 2daadb4..862409b 100755 --- a/path/fixed.mli +++ b/path/fixed.mli @@ -16,7 +16,7 @@ module Make(Point:P) : sig type t val repr - : t -> (module Repr.M with type t = Point.t and type repr = 's) -> 's -> 's + : t -> (module Repr.M with type point = Point.t and type t = 's) -> 's -> 's end @@ -32,7 +32,7 @@ module Make(Point:P) : sig (** Represent the path *) val repr - : t -> (module Repr.M with type t = Point.t and type repr = 's) -> 's -> 's + : t -> (module Repr.M with type point = Point.t and type t = 's) -> 's -> 's (** Structure to represent all the required information for evaluating the distance between a point and a path *) -- cgit v1.2.3