Reducer_phases.Makeval process_slice :
Contract.state ->
Contract.market_slice ->
(progress, string) Stdlib.resultval strategy_request : progress -> (Contract.context * Contract.event) optionval resume :
progress ->
Contract.intent list ->
(progress, string) Stdlib.resultval slice_result : progress -> (Contract.state * Contract.audit list) option