Kv (p.mirage.4.7.0.doc.mirage.devices.Devices.Kv)

type ro

val ro : ro Functoria.DSL.typ

val direct_kv_ro : string -> ro Functoria.DSL.impl

val crunch : string -> ro Functoria.DSL.impl

val generic_kv_ro : 
  ?group:string ->
  ?key:[ `Crunch | `Direct ] Functoria.DSL.value ->
  string ->
  ro Functoria.DSL.impl

type rw

val rw : rw Functoria.DSL.typ

val direct_kv_rw : string -> rw Functoria.DSL.impl

val mem_kv_rw : 
  ?clock:Pclock.pclock Functoria.DSL.impl ->
  unit ->
  rw Functoria.DSL.impl