Module Incremental.Case
type ('input, 'outer_model, 'result) casetype ('outer_input, 'outer_model, 'result) case_creator={create_case : inner_input inner_model. ('inner_input, 'inner_model, 'result) t -> case_input:'inner_input Incr.t -> case_model:'inner_model Incr.t -> lift:('inner_model -> 'outer_model) -> ('outer_input, 'outer_model, 'result) case Incr.t;}