Types.TraceLogLevel
type t =
| All
| Trace
| Debug
| Info
| Warning
| Error
| Fatal
| None
val vals : (t * int64 F.const) list
val t : t F.typ