Skip to main content

query_all_with_builtins

Function query_all_with_builtins 

Source
pub fn query_all_with_builtins(
    cx: &mut Cx,
    db: &LogicDb,
    config: &LogicConfig,
    goal: Expr,
    limit: Option<usize>,
    builtins: BuiltinTable,
) -> Result<Vec<ShapeMatch>>
Expand description

Resolves goal with an explicit builtin table.

This is the open-registry query surface for callers that install additional builtin bindings as data. It uses the same resolver as query_all, but starts the stream with builtins instead of BuiltinTable::standard.