Manifold.Id
type t =
| Original of int
| Product
Unique identifier for a manifold t, or a tag indicating that it is the result of transformations/operations on original/product manifolds
t
val to_int : t -> int
to_int t
Return the plain integer ID. If the corresponding manifold was a product, rather than an original, this returns -1.
-1