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