Make.DCST
type dcst
val terminal : A.token -> dcst
val nonterminal : A.production -> dcst array -> dcst
val choice : dcst -> dcst -> dcst