Previous
Up
Next
Module
Bit_model_access
module
Bit_model_access:
sig
..
end
Empty on purpose. Functions are registered in the kernel.