let export_entity = function
| CrgEntity e -> XL.export_entity XD.export_term e
| BrgEntity e -> XL.export_entity BO.export_term e
let export_entity = function
| CrgEntity e -> XL.export_entity XD.export_term e
| BrgEntity e -> XL.export_entity BO.export_term e