Documentation

Lake.Version

source
def Lake.version.major :
Nat
Equations
    Instances For
      source
      def Lake.version.minor :
      Nat
      Equations
        Instances For
          source
          def Lake.version.patch :
          Nat
          Equations
            Instances For
              source
              def Lake.version.isRelease :
              Bool
              Equations
                Instances For
                  source
                  def Lake.version.specialDesc :
                  String
                  Equations
                    Instances For
                      source
                      def Lake.versionStringCore :
                      String
                      Equations
                        Instances For
                          source
                          def Lake.versionString :
                          String
                          Equations
                            Instances For
                              source
                              def Lake.uiVersionString :
                              String
                              Equations
                                Instances For