Function slither_function_parameter 

fn slither_function_parameter<'gcx>(
    gcx: Gcx<'gcx>,
    ty: Ty<'gcx>,
    seen_structs: &mut HashSet<StructId>,
) -> String

Formats the Solidity-signature types used by Slither function lookup.