def bind_pair

stelliferous@0.0.2.0 · storage_buffer.bend:27

import Base

27def bind_pair(~First: Type,~Second: Type,~Result: Type,pair: First & Second,body: First -> Second -> Result) -> Result:
28  (first,second) = pair
29  body(first,second)