Module Set_once

module Set_once: sig .. end

include Core_kernel.Set_once