Up
–
rocq-runtime
»
WriteOnceArray
» Internal
Module
WriteOnceArray.Internal
val
unsafe_to_array :
'a
t
->
'a
option
array