package forcamla
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
On This Page
Organize program execution via formulae
Install
dune-project
Dependency
Authors
Maintainers
Sources
0.2.0.tar.gz
md5=55d48713129306960d43989b54742c16
sha512=6ee09f89a32d3dc9cc2f7cda0f713363ace88a9c28c1a6cbbe8d1893a805589ed511f5140deaddf2e9d77ce76de4ea676932289a1e10b2416169825287c28424
Description
Formulas are either terms or compound statements (terms combined with binary operators). Terms may be updated and then compound statements will reflect the changed updated terms. With this event listeners can be constructed that wait for formulas to be satisfied, changed, etc.
On This Page