Data.SBV.Examples.Misc.Word4
data
Word4
word4
type
SWord4