Block (mirage.Devices.Block)

type block

val block : block Functoria.DSL.typ

val generic_block : 
  ?group:string ->
  ?key:[ `BlockFile | `Ramdisk | `XenstoreId ] Functoria.DSL.value ->
  string ->
  block Functoria.DSL.impl

val tar_kv_ro : block Functoria.DSL.impl -> Kv.ro Functoria.DSL.impl

val fat_ro : block Functoria.DSL.impl -> Kv.ro Functoria.DSL.impl

val ramdisk : string -> block Functoria.DSL.impl

val block_of_xenstore_id : string -> block Functoria.DSL.impl

val block_of_file : string -> block Functoria.DSL.impl

val block_conf : string -> block Functoria.DSL.device

val docteur : 
  ?mode:[ `Fast | `Light ] ->
  ?name:string Functoria.DSL.key ->
  ?output:string Functoria.DSL.key ->
  ?analyze:bool Functoria.DSL.runtime_arg ->
  ?branch:string ->
  ?extra_deps:string list ->
  string ->
  Kv.ro Functoria.DSL.impl

type block_t = {

filename : string;
number : int;

}

val all_blocks : (string, block_t) Stdlib.Hashtbl.t

val chamelon : 
  program_block_size:int Functoria.DSL.runtime_arg ->
  (block -> Kv.rw) Functoria.DSL.impl

val tar_kv_rw : block Functoria.DSL.impl -> Kv.rw Functoria.DSL.impl

val ccm_block : 
  ?nonce_len:int ->
  string option Functoria.DSL.runtime_arg ->
  (block -> block) Functoria.DSL.impl