module Inlined : sig ... endmodule Not_inlined : sig ... endmodule Specialised : sig ... endmodule Not_specialised : sig ... endmodule Prevented : sig ... endmodule Decision : sig ... endmodule Inlined : sig ... endmodule Not_inlined : sig ... endmodule Specialised : sig ... endmodule Not_specialised : sig ... endmodule Prevented : sig ... endmodule Decision : sig ... end