Up – Package index » carton » Library carton » Carton » Dec » Verify » Scheduler

Parameter `Verify.Scheduler`

type +'a s

type t

val inj : 'a s -> ('a, t) Carton__.Sigs.io

val prj : ('a, t) Carton__.Sigs.io -> 'a s