Module type Include.Not_inlined_and_closed

type v