Module Transformations.ShiftGuard

Add a guard shift_ammount >= 0 before every shift.

Its command line id is S.

type relation_in = Ast.Program.relation
type relation_out = Ast.Program.relation
val id : string

Command line identifier

val doc : string

Command line documentation

The actual transformation functor