MCPcopy Create free account
hub / github.com/argumentcomputer/ix / def_safety

Function def_safety

crates/compile/src/decompile.rs:2009–2011  ·  view source on GitHub ↗

Map an `is_unsafe` flag to a `DefinitionSafety`. The decompile side uses this to stay in lock-step with `ix::compile::mutual::def_safety`; if we ever want to represent `Partial` explicitly we can refine both sides.

(is_unsafe: bool)

Source from the content-addressed store, hash-verified

2007 recursor has {} rules",
2008 name.pretty(),
2009 rule_roots.len(),
2010 rec.rules.len(),
2011 ),
2012 });
2013 }
2014 (

Callers 3

below_def_to_leanFunction · 0.70
brecon_def_to_leanFunction · 0.70
decompile_block_aux_genFunction · 0.70

Calls

no outgoing calls

Tested by

no test coverage detected