ortac is a tool to convert an OCaml module interface with Gospel specifications into code https://github.com/ocaml-gospel/ortac @ocaml_org #specification #OCaml