method
unknown :
'
a.
'
a
->
'
self_type =
fun
_
->
o