law octets_is_eq_refl

bend-osdev-bytes@0.1.1.1 · LAWS.bend:105

import Base
import bend-osdev-bytes@0.1.1.1/bytes.bend as B

105law octets_is_eq_refl:
106  for o: B.Octets
107  {B.Octets.is_eq(o, o) == True{} : Bool}