mlyacc/examples/fol/absyn.sml

   1 signature ABSYN =
   2   sig
   3      type absyn
   4      val null : absyn
   5   end
   6
   7 structure Absyn :> ABSYN =
   8    struct
   9       datatype absyn = NULL
  10       val null = NULL
  11    end