encodeComposition

CellCodecLaws RowCodecLaws

encodeIdentity

CellCodecLaws RowCodecLaws

encodeReversibility

CellCodecLaws RowCodecLaws

eq

equality

equality

discipline