method
copy : (unit
->
unit) option =
Some
(
fun
()
->
v
#
copy)