module checkNoPermutationKeywordModule {
    type record of integer MySequenceOfType;

    // matches any of the following sequences of 4 integers: 1,2,3,5; 1,3,2,5; 2,1,3,5; 
    // 2,3,1,5; 3,1,2,5; or 3,2,1,5 
    template MySequenceOfType MyTemplate1 := {permutation(1, 2, 3), 5};

}