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