pub type SolverContext {
  SolverContext(
    db_state: state.DbState,
    rules: List(ast.Rule),
    derived: set.Set(fact.Datom),
    as_of_tx: option.Option(Int),
    as_of_valid: option.Option(Int),
  )
}

Constructors

• SolverContext(
    db_state: state.DbState,
    rules: List(ast.Rule),
    derived: set.Set(fact.Datom),
    as_of_tx: option.Option(Int),
    as_of_valid: option.Option(Int),
  )