sim-shape 0.1.0-rc.1

Shape algebra, comparison, and match-hook helpers.
Documentation 
1
2
3
4
5
6
7
8
9
10

//! Base shape vocabulary: re-exports the kernel `Shape` protocol types and the
//! shape-report helpers that the rest of the engine builds on.

pub use sim_kernel::shape_report::{
    ShapeReport, check_value_report, insert_shape_satisfaction_claim, satisfies_shape_predicate,
    shape_report_from_match,
};
pub use sim_kernel::{
    ExprKind, MatchScore, Shape, ShapeBindings as Bindings, ShapeBindings, ShapeDoc, ShapeMatch,
};