Up
–
coq-core
»
Future
» UUID
Module
Future.UUID
type
t
val
invalid :
t
val
compare :
t
->
t
->
int
val
equal :
t
->
t
->
bool