package git

You can search for identifiers within the package.

in-package search v0.2.0

Module type `Sigs.SCHED`Source

Sourcetype +'a s

Sourcetype t

Sourceval inj : 'a s -> ('a, t) io

Sourceval prj : ('a, t) io -> 'a s