Module cuneiform_sem_cek

bind_all(Info, TypedBindLst, EBody) -> e()

• Info = info()
• TypedBindLst = [typed_bind()]
• EBody = e()

split_zip(TypedBindLst) -> Result

• TypedBindLst = [typed_bind()]
• Result = {[typed_bind()], [typed_bind()]} | stalled | null | stuck

step(E) -> Result

• E = e()
• Result = {ok, e(), [e()]}