Skip to main content

rewrite_magic_sets

xlog_logic::magic_sets

Function rewrite_magic_sets 

Source 
pub fn rewrite_magic_sets(program: &Program) -> Result<MagicSetRewrite>
Expand description

Rewrite supported bound recursive queries with magic predicates.