Module Syntax.Unroll

val topdown : change -> change
val bottomup : change -> change