Relations2.scl

   1 import "StandardLibrary"
   2
   3 MyExecute ?procedure :-
   4     @enforce
   5     Execute (?procedure "Foo")
   6
   7 main = do
   8     v = ref ""
   9     enforce MyExecute (v :=)
  10     getRef v
  11 --
  12 Foo