def Lake.platformOs : String

A string descriptor of the System.Platform OS (i.e., windows, macOS, emscripten, or linux).

Equations

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

def Lake.platformDescriptor : String

Equations

• Lake.platformDescriptor = toString "" ++ toString Lake.platformOs ++ toString "-" ++ toString System.Platform.numBits ++ toString ""