peterlopen

(in-package #:coalton-user)

(coalton-toplevel

  (define-struct (ParserInput :i :n)
    (input :i)
    (input-size :n)
    (current-location :n))

  (define-class ((Num :n) (Eq :e) => Parseable :i :n :e (:i -> :e))