pub fn write(expr: &Form) -> Result<String, Refusal>
An expression the expander has finished with, as a formula’s canonical text with its leading =; refused by name when it is not one.
=