let
object_of_pointed_opt =
function
|
None
->
None
|
Some
ty
->
Some
(
Ctypes
.object_of_pointed ty)