let signature_string func = let name = match func.host with | None -> func.name | Some(h) -> Format.sprintf "%s.%s" h func.name in Format.sprintf "%s(%s)" name (String.concat ", " (List.map fst func.formals))