; package definition for the frontend

(defpackage "VERRAZANO"
  (:use "COMMON-LISP" "SPLIT-SEQUENCE")
  (:export "CREATE-BINDING"))