Add more comments on comparison functions in the C layer of the OCaml bindings
Add more comments on comparison functions in the C layer of the OCaml bindings

seahorn/z3,seahorn/z3,kyledewey/z3,kyledewey/z3,seahorn/z3,kyledewey/z3,seahorn/z3,seahorn/z3,kyledewey/z3,kyledewey/z3,kyledewey/z3,seahorn/z3