Tezos_layer2_store.Access_mode
type rw = [
| `Read
| `Write
]
type ro = [
type _ t =
| Read_only : ro t
| Read_write : rw t