method
functor_arg =
fun
f (s, mt)
->
pp f
"@[<2>(%a :@ %a)@]"
o
#
var s o
#
module_type mt