package git

You can search for identifiers within the package.

in-package search v0.2.0

Module type `Sigs.STORE`Source

Sourcetype ('a, 'b) s

Sourcetype t

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

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