Function have 

pub fn have(name: &str, term: PTerm) -> Tactic

have name from <term> as a tactic value.