pub fn print<W: Write>(defs: &[Def], width: usize, out: &mut W) -> Result<()>
Print ISLE definitions.