Documentation

Lean.Compiler.FFI

Equations
def Lean.Compiler.FFI.getLinkerFlags (leanSysroot : System.FilePath) (linkStatic : optParam Bool true) (gmp : optParam String "-lgmp") :
Equations