diff options
Diffstat (limited to 'modal/ocaml/examples/dynamic_rules.modal')
| -rw-r--r-- | modal/ocaml/examples/dynamic_rules.modal | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/modal/ocaml/examples/dynamic_rules.modal b/modal/ocaml/examples/dynamic_rules.modal new file mode 100644 index 0000000..7e17f76 --- /dev/null +++ b/modal/ocaml/examples/dynamic_rules.modal @@ -0,0 +1,5 @@ +.. ((eq fox bat) (eq bat bat)) +.. ((<>) (eq ?x ?x) (#t)) +.. ((<>) (eq ?x ?y) (#f)) +.. (>< (eq ?x ?y) (#f)) + |