Not sure yet. In toplevel: #require "zarith";; #require "camomile";; #use "spotter.ml";; Then try: read_mast "my/cool/module.mast";;
Not sure yet. In toplevel: #require "zarith";; #require "camomile";; #use "spotter.ml";; Then try: read_mast "my/cool/module.mast";;