Module type Immediate_option_intf.Immediate_option
module type S_without_immediate = S_without_immediate
Never immediate.
Immediate_option_intf.Immediate_option
module type S_without_immediate = S_without_immediate
Never immediate.