Documentation

Lean.Parser.Level

@[inline]
Instances For