pages / script_functions / cross_under
cross_under(a, b): True on the bar a moves below b: a was at or over b on the previous bar and is under it now. (ext cubicle)
the set is declared by cubicle
no program says this word yet
sealed cases that reached it: 0 — sealed cases that reached this word (the store counts, never reads)
release 2: a leaf · the inclusion proof · head 0xcce32dfb4664a3b2…
canister coord://offchain/genie/lang/genie@v1/c17e1e91cbeb77ff — the language at this register state: the set this word is a member of is in its digest