Module miniscript::miniscript::types

Re-exports

pub use self::correctness::Base;

pub use self::correctness::Correctness;

pub use self::correctness::Input;

pub use self::extra_props::ExtData;

pub use self::malleability::Dissat;

pub use self::malleability::Malleability;

Correctness/Soundness type properties

Other miscellaneous type properties which are not related to correctness or malleability.

Malleability-related Type properties

Structure representing the type of a Miniscript fragment, including all properties relevant to the main codebase

Detailed type of a typechecker error

Trait representing a type property, which defines how the property propagates from terminals to the root of a Miniscript