Event type. Equality/comparison disregards the call trace but includes location.

`type severity_t````=`

`|` `Low`
`|` `Medium`
`|` `High`

``
`include sig ... end`
`val compare_severity_t : severity_t ‑> severity_t ‑> int`
`type event_t````=`

`|` `LockAcquire of Lock.t`
`|` `MayBlock of string * severity_t`

``
`include sig ... end`
`val compare_event_t : event_t ‑> event_t ‑> int`
`type t````= private` `{`

`elem : event_t;`
`loc : InferBase.Location.t;`
`trace : InferIR.CallSite.t list;`

`}```
`include InferStdlib.PrettyPrintable.PrintableOrderedType with type PrintableOrderedType.t := t`
`include InferStdlib.IStd.Caml.Set.OrderedType`
`type t`````
`val compare : t ‑> t ‑> int`
`val pp : InferStdlib.PrettyPrintable.F.formatter ‑> t ‑> unit`
`val pp_no_trace : F.formatter ‑> t ‑> unit`
`val get_loc : t ‑> InferBase.Location.t`
`val make_trace : ?⁠header:string ‑> InferIR.Typ.Procname.t ‑> t ‑> InferIR.Errlog.loc_trace`