Kv (mirage.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 : unit -> rw Functoria.DSL.impl