Skip to main content

Module portable_binary

lean_ctx::core

Module portable_binary 

Source

Functionsยง

hook_binary_override
Verbatim hook-binary override (#708), or None when unset/blank.
resolve_portable_binary