预映射SP:: 服务提供商 一 b条 -> ( t吨 -> 一 ) -> 服务提供商 t吨 b条 postMapSP::( t吨 -> b条 ) -> 服务提供商 一 t吨 -> 服务提供商 一 b条 前置MapSP::( t1时间 -> 一 ) -> ( t2时间 -> b条 ) -> 服务提供商 一 t2时间 -> 服务提供商 t1时间 b条
sp`preMapSP`f=sp`serCompSP`mapSP f f`postMapSP`sp=mapSP f`serCompSP`sp prePostMapSP pre-post sp=post`postMapSP`sp`preMapSP`pre