Modules
This module provides aggregators that can be used in Ascent rules.
Provides definitions required for the ascent macro. Not intended for direct use.
Defines the Lattice trait and provides implementations for standard types
internal utility functions defined here
Macros
The main macro of the ascent library. Allows writing logical inference rules similar to Datalog.
Like ascent, except that the result of an ascent_run invocation is a value containing all the relations
defined inside the macro body, and computed to a fixed point.
Structs
A wrapper type that swaps (<= and >=) for PartialOrds, (meet and join) for Lattices,
and (top and bottom) for BoundedLattices.
Traits
A Lattice is a PartialOrd where each pair of elements has a least upper bound (join) and a greates lower bound (meet)