package sd_logic

  1. Overview
  2. Docs

Module Sd.PackedSource

Sourcetype 'a sd_t = 'a t
Sourcetype t =
  1. | P : _ sd_t -> t
Sourceval sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t
Sourceval equal : t -> t -> bool
Sourceval to_string : t -> string
Sourceval create : 'a sd_t -> t
Sourceval hash : t -> int
Sourceval compare : t -> t -> int
type comparator_witness
val comparator : (t, comparator_witness) Core.Comparator.t