Source file point.ml

1
2
3
4
5
6
7
8
9
type t = { x : float; y : float }

let make ~x ~y = { x; y }

let witness =
  let open Json_encoding in
  let x = req "x" float in
  let y = req "y" float in
  conv (fun { x; y } -> (x, y)) (fun (x, y) -> { x; y }) (obj2 x y)