def hash.ok

ezx@1.11.0.0 · src/lock/lock.bend:153

import Base

153def hash.ok(+hash: String) -> Bool:
154  Bool.and(Nat.is_eq(String.length(hash), 34n),
155    Bool.and(String.starts_with(hash, "0x"), hex.all(String.drop(hash, 2n))))