library for modules

parent bfc3c223
module Ref
{ use import programs.Prelude }
mutable type ref 'a model 'a
parameter ref : v:'a -> {} ref 'a { result=v }
parameter get : r:ref 'a -> {} 'a reads r { result=r }
parameter set : r:ref 'a -> v:'a -> {} unit writes r { r=v }
end
(*
Local Variables:
compile-command: "unset LANG; make -C .."
End:
*)
../modules/
\ No newline at end of file
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment