Library Prelude.Data.Void
Inductive
Void
:
Type
:=.