let string_of_attr = function (id,None) -> string_of_id id | (id,Some v) -> Printf.sprintf "%s=%s" (string_of_id id) (string_of_id v)