hkt
Hkt.Make_store
git
git.loose
git.loose-git
git.loose-lwt
git.nss
neg
pck
pkt_line
sigs
smart
smart_flow
smart_git
unixiz
module T : sig ... end
type ('k, 'v) s = ('k, 'v) T.t
type t
val inj : ('a, 'b) s -> ('a, 'b, t) Sigs.store
val prj : ('a, 'b, t) Sigs.store -> ('a, 'b) s