class Serializable (α : Type) : Type

• serialize : α → ByteArray
• deserialize : ByteArray → Option α

class LawfulSerilizable (α : Type) [Serializable α] : Prop

• deserialize_serialized (a : α) : Serializable.deserialize (Serializable.serialize a) = some a
• serialize_deserialized (bt : ByteArray) (a : α) : Serializable.deserialize bt = some a → Serializable.serialize a = bt