fix
InjectMinimalImperativeMaps.I
bit_lib
front
kernel
lrgrep.internal
lrgrep.interpreter
lrgrep.runtime
lrijkstra_utils
support
syntax
utils
valmari
type t
The source type of the injection.
val encode : t -> M.key
An injection of t into u is an injective function of type t -> u. Because encode is injective, the value encode x can be thought of as the identity of the object x.
t
u
t -> u
encode
encode x
x