def split_cons

bend-collections-laws-math@1.0.0.0 · proofs/lib/lemmas/src/wide.bend:110

import Base

110def split_cons(-n: Nat, -m: Nat, h: Bool, parts: Parts<n, m>) -> Parts<1n+n, m>:
111  Split{low, high} = parts
112  Split{WCon{h, low}, high}