HepLean Documentation

Lake.Toml.Data.Value

TOML Value #

@[reducible, inline]

A TOML table, an ordered key-value map of TOML values (Lake.Toml.Value).

Equations
Instances For
    @[inline]
    Equations
    Instances For
      @[inline]
      Equations
      Instances For
        @[reducible, match_pattern, inline]
        Equations
        Instances For
          @[inline]
          Equations
          Instances For

            Pretty Printing #

            Equations
            • One or more equations did not get rendered due to their size.
            Instances For
              Equations
              Instances For
                Equations
                • One or more equations did not get rendered due to their size.
                Instances For