let get_type (r : string) : string = let t = Hashtbl.find_all role_signature r in if(t<>[]) then list2string "" (car t) else ""