Data.Restricted

data Restricted l u v

class Restriction l u v

rvalue

data Nneg1

data N1

data N0

data N254

data Inf