Module `NullsafeMode.Trust`

type trust_list

val is_trust_none : trust_list -> bool

type t = | All | Only of trust_list

val compare : t -> t -> int
val equal : t -> t -> bool

val none : t
val of_annot : IR.Annot.t -> t option: Returns Trust.t when provided annotation matches the format of @TrustList, otherwise None.

val pp : Stdlib.Format.formatter -> t -> unit