[−][src]Module miniscript::miniscript::types::correctness
Correctness/Soundness type properties
Structs
Correctness | Structure representing the type properties of a fragment which are relevant to completeness (are all expected branches actually accessible, given some valid witness) and soundness (is it possible to satisfy the Script without satisfying one of the Miniscript branches). |
Enums
Base | Basic type representing where the fragment can go |
Input | Type property representing expectations about how many inputs the fragment accepts, and assumptions about that |