pub fn num(domain: &str, canonical: &str) -> Expr
A number value in domain with the given canonical literal.
domain
canonical