[Demexp-dev] Use of ids and CDuce typing

[David MENTRE]

Hello Serge,

I noticed that in your code, your write different ids for different
parts of the CDuce data type:

type Xml_participant = 
    <participant p_id=Xml_id [...]
[...]
type Xml_tag = <tag t_id=Xml_id>Latin1 ;;
[...]
type Xml_response =
    <response r_id=Xml_id [...]
type Xml_question = 
    <question q_id=Xml_id [...]

Is using different identifiers (p_id, t_id, r_id, q_id) mandatory for
CDuce?

Yours,
d.
-- 
pub  1024D/A3AD7A2A 2004-10-03 David MENTRE <address@hidden>
 5996 CC46 4612 9CA4 3562  D7AC 6C67 9E96 A3AD 7A2A