Module Codex_register.Stuff_for_WSD
val read_allowed : size:'a -> 'b -> 'c -> bool
val write_allowed : size:'a -> 'b -> 'c -> bool
val is_mmio_access : size:'a -> 'b -> 'c -> bool
val option_use_shape : unit -> bool
val precise_enough_for_read : size:'a -> 'b -> 'c -> bool
val precise_enough_for_write : size:'a -> 'b -> 'c -> bool
val record_write : size:'a -> 'b -> 'c -> 'd -> unit
val record_read : size:'a -> 'b -> 'c -> 'd -> unit