Std.Isomorphism
Isomorphism is a bijection between type s and t. Useful for creating graph views and mapping graphs. See Graphlib.view and Graphlib.Mapper.
Isomorphism
s
t
Graphlib.view
Graphlib.Mapper
type s
type t
val forward : s -> t
val backward : t -> s