Function normalise

Source
pub fn normalise(term: &Term, world: &World) -> Term
Expand description

Normalise a term.