pub fn resolve(name: &str, args: &[Ty]) -> Result<Ty, Mismatch>Expand description
Every operand in the order written. Ty has no scalar of its own, so a constant arrives
as the representation of the signal it meets, neutral by FORMAT 3.3’s Sc, S -> S row,
under its own width.