Function calc 

pub fn calc(names: Vec<String>) -> Tactic

calc h1 h2 … as a tactic value — compose the named chain.