Elsa Ast Type TF namespaceDefn

TF_namespaceDefn is a Ast subtype node belonging to TopForm. TF_namespaceDefn is a record.

Record Data Fields

• name_space_defn_loc : sourceLoc
• name_space_defn_name : stringRef option
• name_space_defn_forms : TopForm list

Comments

Please make your modifications only below, because the content above will be regenerated automatically from time to time.