Devices.Blockval block : block Functoria.typval generic_block :
?group:string ->
?key:[ `BlockFile | `Ramdisk | `XenstoreId ] Functoria.value ->
string ->
block Functoria.implval tar_kv_ro : block Functoria.impl -> Kv.ro Functoria.implval fat_ro : block Functoria.impl -> Kv.ro Functoria.implval ramdisk : string -> block Functoria.implval block_of_xenstore_id : string -> block Functoria.implval block_of_file : string -> block Functoria.implval block_conf : string -> block Functoria.deviceval docteur :
?mode:[ `Fast | `Light ] ->
?name:string Functoria.key ->
?output:string Functoria.key ->
?analyze:bool Functoria.runtime_arg ->
?branch:string ->
?extra_deps:string list ->
string ->
Kv.ro Functoria.implval chamelon :
program_block_size:int Functoria.runtime_arg ->
(block -> Pclock.pclock -> Kv.rw) Functoria.implval tar_kv_rw :
Pclock.pclock Functoria.impl ->
block Functoria.impl ->
Kv.rw Functoria.implval ccm_block :
?nonce_len:int ->
string option Functoria.runtime_arg ->
(block -> block) Functoria.impl