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.1.4.tar.gz
md5=f1e194bfcb3125d73f7518ff52e5eb57
sha512=e7382d37d08ed0544c504092d11ec1272221f53a0c128b5829d382e1651d690113ac800b03b3432ad094c1d275bae921513989d5232e12cbf8bdf3cb65dc75d4
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