module
Unit
where
open
import
Agda.Builtin.Unit
public