Type Alias BuiltinSolve 

pub type BuiltinSolve = dyn for<'a> Fn(&mut Cx, &BuiltinCtx<'a>, &[Expr], &LogicEnv) -> Result<Vec<LogicEnv>> + Send + Sync;

Projection function used by a builtin binding.