let
object_of_n_pointed_opt n =
function
|
None
->
None
|
Some
ty
->
Some
(object_of_n_pointed n ty)