package sd_logic

  1. Overview
  2. Docs

Module Sd_logic.SdSource

Sourcetype 'a t
Sourcemodule Id : sig ... end
Sourceval create : string -> ('a -> Core.Sexp.t) -> 'a t
Sourceval equal : 'a t -> 'b t -> bool
Sourceval hash : 'a t -> int
Sourceval compare : 'a t -> 'a t -> int
Sourceval sexp_of_t : 'a t -> Core.Sexp.t
Sourceval id : 'a t -> Id.t
Sourceval to_type_equal_id : 'a t -> 'a Core.Type_equal.Id.t
Sourcemodule Packed : sig ... end
Sourceval pack : 'a t -> Packed.t
Sourcetype set = Core.Set.M(Packed).t