Miniscript consists of the Policy language, a high-level expression language, and Miniscript itself, an expression language that maps directly to Bitcoin Script.