Struct Binding 

pub struct Binding {
    pub name: String,
    pub text: String,
    pub buf: TermBuf,
}

One query-variable binding, materialized at solution time. text is the readable form; buf is a relocatable snapshot of the (already dereferenced) value term — a raw heap word would alias later solutions’ cells once backtracking rewinds and reuses the arena.

Fields

name: String

text: String

buf: TermBuf