pull down to refresh

From two examples above it looks like a wrapper over miniscript. Same thing may be done with policies.