[−][src]Trait miniscript::policy::Liftable
Trait describing script representations which can be lifted into
an abstract policy, by discarding information.
After Lifting all policies are converted into KeyHash(Pk::HasH)
to
maintain the following invariant:
Lift(Concrete) == Concrete -> Miniscript -> Script -> Miniscript -> Semantic