fmod TRIPLE is

    protecting INT .
    
    sort Triple .
    
    op _,_,_ : Int Int Int -> Triple .
    
    ops Pi1 Pi2 Pi3 : Triple -> Int .
    
    vars A B C : Int .
    
    eq Pi1(A,B,C) = A .
    eq Pi2(A,B,C) = B .
    eq Pi3(A,B,C) = C .
endfm