Up

module CodePieces

: sig

#

val ntvar : Grammar.Nonterminal.t -> string

#

val env : string

#

val semv : string

#

val stack : string

#

val state : string

#

val token : string

#

val startp : string

#

val endp : string

#

val semvtypent : Grammar.Nonterminal.t -> IL.typ

#

val semvtypetok : Grammar.Terminal.t -> IL.typ list

#

val semvtype : Grammar.Symbol.t -> IL.typ list

#

val symvalt : Grammar.Symbol.t -> (IL.typ -> 'a) -> 'a list

#

val symval : Grammar.Symbol.t -> 'a -> 'a list

#

val tokval : Grammar.Terminal.t -> 'a -> 'a list

#

val tokpat : Grammar.Terminal.t -> IL.pattern

#

val tokpatv : Grammar.Terminal.t -> IL.pattern

#

val tokspat : Grammar.TerminalSet.t -> IL.pattern

#

val destructuretokendef : string -> IL.typ -> bool -> (Grammar.Terminal.t -> IL.expr) -> IL.valdef

#

val extrabindings : Action.t -> (IL.pattern * IL.expr) list

#

val excvaldef : IL.valdef

#

val errorval : IL.expr

end