package coq-lsp
Source file ser_equality.ml
1 2 3 4 5 6 7open Sexplib.Std open Ppx_hash_lib.Std.Hash.Builtin open Ppx_compare_lib.Builtin type multi = [%import: Equality.multi] [@@deriving sexp,yojson,hash,compare]
ser_equality.ml1 2 3 4 5 6 7open Sexplib.Std open Ppx_hash_lib.Std.Hash.Builtin open Ppx_compare_lib.Builtin type multi = [%import: Equality.multi] [@@deriving sexp,yojson,hash,compare]