type 'a label
type source
module Api : Api.S with type 'a label = 'a label
val eq_label : ('a label * 'b label) ‑> ('a, 'b) Base.Type_equal.equal Base.option
val sexp_of_label : 'a label ‑> Base.Sexp.t
val proj : 'a label ‑> source ‑> 'a
val load : 'm Api.t ‑> 'm ‑> source
val embed : 'm Api.t ‑> 'm ‑> source ‑> 'm