Devices.BlockSourceval generic_block :
?group:string ->
?key:[ `BlockFile | `Ramdisk | `XenstoreId ] Functoria.DSL.value ->
string ->
block Functoria.DSL.implval 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.implval chamelon :
program_block_size:int Functoria.DSL.runtime_arg ->
(block -> Kv.rw) Functoria.DSL.implval ccm_block :
?nonce_len:int ->
string option Functoria.DSL.runtime_arg ->
(block -> block) Functoria.DSL.impl