Up
–
imandra-base
»
Imandra_prelude
»
Reflect
» Uid
Module
Reflect.Uid
type
t
=
{
name :
string
;
payload :
string
;
}
val
pp : CCFormat.t
->
t
->
unit