path: root/modal/ocaml/examples/dynamic_rules.modal

.. ((eq fox bat) (eq bat bat))
.. ((<>) (eq ?x ?x) (#t))
.. ((<>) (eq ?x ?y) (#f))
.. (>< (eq ?x ?y) (#f))