Module Bit_model_access


module Bit_model_access: sig .. end
Empty on purpose. Functions are registered in the kernel.