ditto
/
live.ditto
/
DittoDocumentID
/
fromDocPtr
fromDocPtr
fun
fromDocPtr
(
docPtr
:
<ERROR CLASS>
)
:
DittoDocumentID