Function
lrs
::
sys
::
has_finit_module
Syntax
fn has_finit_module() -> bool