Module Smyth.Post_parse

val exp : Lang.exp -> Lang.exp