Up
–
git
»
Nss
»
Push
»
Make
» Scheduler
Parameter
Make.Scheduler
type
+'a s
type
t
val
inj :
'a
s
->
(
'a
,
t
)
Sigs.io
val
prj :
(
'a
,
t
)
Sigs.io
->
'a
s