summaryrefslogtreecommitdiff
path: root/path/fixed.ml
diff options
context:
space:
mode:
Diffstat (limited to 'path/fixed.ml')
-rwxr-xr-xpath/fixed.ml8
1 files changed, 8 insertions, 0 deletions
diff --git a/path/fixed.ml b/path/fixed.ml
index 0ff4aad..d20c897 100755
--- a/path/fixed.ml
+++ b/path/fixed.ml
@@ -41,6 +41,10 @@ module Make(Point:P) = struct
: t -> int
= fun {id; _} -> id
+ let path
+ : t -> path array
+ = fun {path; _} -> path
+
module ToFixed = struct
type t = Point.t
@@ -183,4 +187,8 @@ module Make(Point:P) = struct
) in
{id; path}
+ let update
+ : t -> path array -> t
+ = fun {id; _} path -> {id; path}
+
end