Skip to main content

fabric_tile

Function fabric_tile 

Source
pub fn fabric_tile(op: &Op) -> Option<FabricTile>
Expand description

THE authority: the fabric tile this op lowers to, or None when it still falls back to the interpreter. As the campaign lowers each op category, its arm moves from None into a Some(tile) here — and the coverage lock then demands its equivalence witness before the floor can rise.