Data.SBV.Examples.Misc.Word4

data Word4

word4

type SWord4