Fork of ocaml-ty by Grégoire Henry