Module User_message.AnnotsSource

Sourcemodule Key : sig ... end
Sourcetype t
Sourceval to_dyn : t -> Dyn.t
Sourceval find : t -> 'a Key.t -> 'a option
Sourceval set : t -> 'a Key.t -> 'a -> t
Sourceval empty : t
Sourceval is_empty : t -> bool
Sourceval singleton : 'a Key.t -> 'a -> t
Sourceval has_embedded_location : unit Key.t

The message has a location embed in the text.

Sourceval needs_stack_trace : unit Key.t

The message needs a stack trace for clarity.