Module semantic

Abstract Policies

We use the terms “semantic” and “abstract” interchangeably because “abstract” is a reserved keyword in Rust.

Enums

Policy

Abstract policy which corresponds to the semantics of a miniscript and which allows complex forms of analysis, e.g. filtering and normalization.