Module Force_once

module Force_once: sig .. end

include Core_kernel.Force_once