package sd_logic

  1. Overview
  2. Docs
type 'a sd_t = 'a t
type t =
  1. | P : _ sd_t -> t
val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t
val equal : t -> t -> bool
val to_string : t -> string
val create : 'a sd_t -> t
val hash : t -> int
val compare : t -> t -> int
type comparator_witness