Up
–
pickles_types
»
Pickles_types
»
Nat
» Empty
Module
Nat.Empty
type
t
=
|
T
of
t
val
elim :
t
->
'a