diff options
| author | Sébastien Dailly <sebastien@chimrod.com> | 2020-12-30 11:41:01 +0100 | 
|---|---|---|
| committer | Sébastien Dailly <sebastien@chimrod.com> | 2020-12-30 11:41:01 +0100 | 
| commit | e25b7797708c19cbaef68c14ebef8738de44c2d9 (patch) | |
| tree | 6d778a7bca390c496ee95cfb337f2f26fe0aa5c3 /path/builder.mli | |
| parent | fae31bdb659b4b14322136e045ea565d38bbd04f (diff) | |
Refactor
Diffstat (limited to 'path/builder.mli')
| -rwxr-xr-x | path/builder.mli | 22 | 
1 files changed, 2 insertions, 20 deletions
diff --git a/path/builder.mli b/path/builder.mli index ca496f7..7f34f10 100755 --- a/path/builder.mli +++ b/path/builder.mli @@ -34,17 +34,15 @@ module Make(P:P) : sig    type t -  type fixedPath -    (** Create an empty path *)    val empty: t    val add_point -    : P.t -> t -> t * fixedPath option +    : P.t -> t -> t    (** Replace the last alement in the path by the one given in parameter *)    val replace_last -    : P.t -> t -> t * fixedPath option +    : P.t -> t -> t    (** Retrieve the last element, if any *)    val peek  @@ -61,20 +59,4 @@ module Make(P:P) : sig        : t -> 'a Repr.repr -> 'a Repr.repr    end -  val to_fixed : t -> fixedPath - -  module DrawFixed(Repr:REPR with type t = P.t) : sig  -    val draw -      : fixedPath -> 'a Repr.repr -> 'a Repr.repr -  end - -  (** Return the shortest distance between the mouse and a point *) -  val distance -    : Gg.v2 -> fixedPath -> float option  - -  val id  -    : fixedPath -> int - -  val map_point  -    : fixedPath -> (P.t -> P.t) -> fixedPath  end  | 
