Module Contract.Borrow

val run : market_slice -> reduction -> (reduction, string) Stdlib.result

Accrues deterministic short-borrow fees against the action-adjusted account before matching.