Documentation

Lean.Compiler.NeverExtractAttr

@[export lean_has_never_extract_attribute]
Instances For