method
implem =
fun
f st
->
pp f
"@[<v0>%a@]@."
o
#
str_item st