Data.Restricted

data Restricted r v

class Restriction r v

rvalue

data Nneg1

data N1

data N0

data N254

data Inf

data Div4

data Div5