temp.rs

trait ScriptContext<Pk: MiniscriptKey>{
    
    fn is_valid(&self, node: decode::Terminal<Pk>) -> Result<(), Error>{

    }
}

struct Legacy{

}

impl<Pk: MiniscriptKey> ScriptContext<Pk> for Legacy{

}

struct Segwitv0{

}

impl<Pk: MiniscriptKey> ScriptContext<Pk> for Segwitv0{

}

/// Top-level script AST type
#[derive(Clone, Hash)]
pub struct Miniscript<Pk: MiniscriptKey, Ctx: ScriptContext<Pk>> {
    ///A node in the Abstract Syntax Tree(
    pub node: decode::Terminal<Pk>,
    ///The correctness and malleability type information for the AST node
    pub ty: types::Type,
    ///Additional information helpful for extra analysis.
    pub ext: types::extra_props::ExtData,
    /// Script Context(Legacy, Segwit ..) under which the miniscript is bieng used
    pub ctx: ScriptContext<Pk>,
}