GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
Already on GitHub? Sign in to your account
Seems that t_of_sexp is not needed:
type t = string
let sexp_of_t = String.sexp_of_t
let compare x y = String.compare y x
module Reverse : sig type comparator_witness
val comparator : (string, comparator_witness) Comparator.t