Module sapio_miniscript::miniscript::types::correctness

source ·
Expand description

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