Theorem Encodable.decode_one

Modification history