Functor Comparable.Validate_with_zero

module Validate_with_zero: functor (T : sigtype t 

val zero : t
val t_of_sexp : Sexplib.Sexp.t -> t
val sexp_of_t : t -> Sexplib.Sexp.t
val compare : t -> t -> int
end) -> sig .. end

Parameters:

T : sig type t with compare, sexp val zero : t end

include Comparable.Validate

include Comparable.With_zero