TorchLean API

Docs HomeGuideExamplesGraphs

Lake.Version

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