Skip to main content

normalize_meta_builtins_owned

Function normalize_meta_builtins_owned 

Source
pub fn normalize_meta_builtins_owned(program: Program) -> Result<Program>
Expand description

normalize_meta_builtins taking the program by value.

Avoids cloning the whole AST: facts whose predicate has no term-valued columns are moved through untouched (the pass is the identity on them, see MetaNormalizer::fact_is_identity), everything else is rebuilt as before.