def then

stelliferous@0.0.2.0 · tensor.bend:597

import Base

597# Read-only operations return their tensor in a pair; Bend destructures only
598# parameters, so a continuation receives both halves.
599def then(~First: Type,~Second: Type,~Result: Type,pair: First & Second,body: First -> Second -> Result) -> Result:
600  (first,second) = pair
601  body(first,second)