Documentation
FraudProof
.
DAssertions
Search
return to top
source
Imports
Init
FraudProof.DataStructures.BTree
FraudProof.DataStructures.Hash
FraudProof.DataStructures.MTree
Imported by
GenDA
source
structure
GenDA
(
α
β
:
Type
)
:
Type
dt :
α
res :
β
Instances For