#use "topfind";;

#require "core.top";;
#require "core.syntax";;

open Core;;