sig val get_prop_id_name : WpPropId.prop_id -> string end