method
emitter e =
Format
.fprintf out
"%s@[<hov 2>by %a.@]@\n"
tab
E
.pretty e