Module polar_core::kb[][src]

Structs

KnowledgeBase

A map of bindings: variable name → value. The VM uses a stack internally, but can translate to and from this type.

Type Definitions

Bindings