Function fungi_lang::html::div_of_succ[][src]

pub fn div_of_succ(s: &Succ) -> Div