diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-11 05:36:46 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-11 13:55:43 +0100 |
commit | 979be5f588a1ffd6e1d060cd794e87526d517b7a (patch) | |
tree | a96605b6ae27bcf646b17f022acf7f5f0cf0b8bf /path/builder.mli | |
parent | 85b40e5712fcbe76c697d1a22fb126db8079098c (diff) |
Layer review
Diffstat (limited to 'path/builder.mli')
-rwxr-xr-x | path/builder.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/path/builder.mli b/path/builder.mli index 78bb778..ff66bcb 100755 --- a/path/builder.mli +++ b/path/builder.mli @@ -35,6 +35,6 @@ 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 end |