View Source Permit.Operators.Le (permit v0.1.3)

Less-than-or-equal operator, accessible via :le, :<=.