Package Standard {
	//TODO: extract to standard library
	Constraint length
	Constraint minLength
	Constraint maxLength
	Constraint range
	Constraint format
	Constraint union
	Constraint uniontype
	
	Type Boolean
	Type Integer
	Type String
	Type Verdict
	
	//TODO: these do not work at present -> literal values take precedence?
//	Boolean true
//	Boolean false
	Boolean True
	Boolean False
	
	Verdict pass
	Verdict fail
	Verdict inconclusive
	
	Time second
	
	Annotation Master
	Annotation MappingName

    //standard annotations for STO
    Annotation Initial conditions
    Annotation Expected behaviour
    Annotation Final conditions
    Annotation Test Purpose Description
    Annotation when
    Annotation then
	
	Predefined == returns Boolean
	Predefined != returns Boolean
	Predefined and returns Boolean
	Predefined or returns Boolean
	Predefined xor returns Boolean
	Predefined not returns Boolean
	Predefined < returns Boolean
	Predefined > returns Boolean
	Predefined <= returns Boolean
	Predefined >= returns Boolean
	Predefined +
	Predefined -
	Predefined *
	Predefined /
	Predefined mod
	Predefined size returns Integer
	
}