Up – Package index » coq-core » Library coq-core.vernac » Future » UUID

Module `Future.UUID`Source

Sourcetype t

Sourceval invalid : t

Sourceval compare : t -> t -> int

Sourceval equal : t -> t -> bool