def FromBytes.be

bend-collections-laws-math@1.0.0.0 · spec/math/fixed.bend:254

import Base
import bend-collections-laws-math@1.0.0.0/spec/lib/common.bend as C

254def FromBytes.be(~T: Data, ~val: T -> Nat, ~f: List<&2, U32> -> Maybe<&2, T>, +nb: Nat, bs: List<&2, U32>) -> Type:
255  {mval(~T, ~val, f(bs)) == from_le(nb, C.reverse(Nat, nats(bs))) : Maybe<&2, Nat>}