inferred_data.tdlan2

/*
Copyright (c) ETSI 2020.

This software is subject to copyrights owned by ETSI. Non-exclusive permission
is hereby granted, free of charge, to copy, reproduce and amend this file
under the following conditions: It is provided "as is", without warranty of any
kind, expressed or implied.

ETSI shall never be liable for any claim, damages, or other liability arising
from its use or inability of use.This permission does not apply to any documentation
associated with this file for which ETSI keeps all rights reserved. The present
copyright notice shall be included in all copies of whole or part of this
file and shall not imply any sub-license right.
*/

//Inferred (manually) from objectives.tplan2
Package inferred_data {
	Type inferred_simple ;
	Type inferred_position ( x of type inferred_simple, y of type inferred_simple) ;
	inferred_simple 22 ;
	inferred_simple 21 ;
	inferred_position inferred_start_position ( x = 22, y = 21 ) ;
}