Type Definition polar_core::kb::Bindings[][src]

type Bindings = HashMap<Symbol, Term>;