Type Definition polar_core::kb::Bindings

source · []
pub type Bindings = HashMap<Symbol, Term>;