Module type Immediate_option_intf.Immediate_option
module type S_int63_plain = S_int63_plainmodule type S_without_immediate = S_without_immediateNever immediate.
module type S_without_immediate_plain = S_without_immediate_plain