method
constrain =
fun
f (t1, t2)
->
pp f
"@[<2>constraint@ %a =@ %a@]"
o
#
ctyp t1 o
#
ctyp t2