This commit is contained in:
Swrup 2022-04-12 13:46:37 +02:00
parent fbfb403734
commit a0dc553c7d
15 changed files with 56 additions and 25 deletions

View file

@ -1,3 +1,5 @@
(* BSD-2-Clause License *)
type t = Jv.t
let of_jv = Fun.id