sig
type
t
val
absurd :
Void
.t
->
'
a
end