Up
–
hxd
»
Hxd
»
S
» X
Module type
S.X
type
'a s
type
t
val
inj :
'a
s
->
(
'a
,
t
)
io
val
prj :
(
'a
,
t
)
io
->
'a
s