<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<source>
	<entities></entities>
	<variables></variables>
	<constructions>
		<construction ID="#1" constructionType="closure"  occurence="" construction ="[\x:Int ['plus x '5]]" type = "Int">
			<construction ID="#1#1" constructionType="composition"  occurence="" construction ="['plus x '5]" type = "Int">
				<construction ID="#1#1#1" constructionType="trivialisation"  occurence="" construction ="'plus" type = "(Int Int Int)">
					<construction ID="#1#1#1#1" constructionType="variable"  occurence="" construction ="x" type = "Int"/>
					<construction ID="#1#1#1#2" constructionType="trivialisation"  occurence="" construction ="'5" type = "Int"/>    
				</construction>
			</construction>
		</construction>
	</constructions>
</source>