pub fn dram_prim(op: &Op) -> Option<PrimKind>Expand description
For an OnPlane op, the ComputeDRAM primitive that realizes it (proven ≡VM in
unified_placement). None for every non-OnPlane op —
the op-coverage ratchet asserts this biconditional (OnPlane ⟺ dram_prim is Some).