.. aggregate.spec.js analyzer.spec.js constraint.spec.js evaluation.spec.js fact.spec.js formula.spec.js general.spec.js inspector.js lib.js loop.spec.js microshaft.db.js movie.db.js predicates.spec.js proofs.db.js rule.spec.js search-narrowing.spec.js select.spec.js task.spec.js