-- | Integer attribute constructor.
a_int :: String -> Attribute
a_int a = Attribute (IntegerAttribute (putInteger a)) a
a_int :: String -> Attribute
a_int a = Attribute (IntegerAttribute (putInteger a)) a
a_int a = Attribute (IntegerAttribute (putInteger a)) a