def rs_if

bend-collections-laws-crypto@1.0.0.0 · src/containers/hash_table.bend:268

import Base

268def rs_if(tab: Array<U32>, e: Bool) -> RStep:
269  match e:
270    case True{}:
271      REmpty{tab}
272    case False{}:
273      RFull{tab}