add point
This commit is contained in:
parent
a0dc553c7d
commit
f32c13eae6
5 changed files with 27 additions and 7 deletions
9
src/point.mli
Normal file
9
src/point.mli
Normal file
|
|
@ -0,0 +1,9 @@
|
|||
(* BSD-2-Clause License *)
|
||||
|
||||
type t =
|
||||
{ x : int
|
||||
; y : int
|
||||
}
|
||||
|
||||
(** [of_jv jv] is [jv] as {!t} *)
|
||||
val of_jv : Jv.t -> t
|
||||
Loading…
Add table
Add a link
Reference in a new issue