let init = EverCrypt.AutoConfig2.init
let init =
EverCrypt.AutoConfig2.init
MerkleTree.Init.fst.checked
prims.fst.checked FStar.Pervasives.fsti.checked EverCrypt.AutoConfig2.fsti.checked
MerkleTree.Init.fst
EverCrypt.AutoConfig2.init
module MerkleTree.Init
val init : _: Prims.unit -> FStar.HyperStack.ST.Stack Prims.unit
_: Prims.unit -> FStar.HyperStack.ST.Stack Prims.unit