sig calcgrammar.
accum_sig lambdayacc.

type lparen, rparen, plust, minust, timest, dividet, expt, quitt  gs.
type ae int -> gs.   % arithmetic expression

type power int -> int -> int -> int -> o.
type failure o.

type calculator o.