resource ParamX = open Prelude in {

----  flags optimize=noexpand ;

  param
    Number = Sg | Pl ;
    Person = P1 | P2 | P3 ;
    Degree = Posit | Compar | Superl ;

    Anteriority = 
       Simul 
     | Anter  --# notpresent
     ;
    Tense = 
       Pres 
     | Past   --# notpresent
     | Fut    --# notpresent
     | Cond   --# notpresent
     ;

  param

    Polarity    = Pos | Neg ;

    QForm = QDir | QIndir ;

-- Imperatives: True = polite, False = familiar.

    ImpForm = ImpF Number Bool ; 

  oper
    numImp : ImpForm -> Number = \i -> 
      case i of {
        ImpF n _ => n
        } ;

    conjNumber : Number -> Number -> Number = \m,n -> 
      case m of {
        Sg => n ;
        _  => Pl 
        } ;

-- For persons, we let the latter argument win ("either you or I am absent"
-- but "either I or you are absent"). This is not quite clear.
  
    conjPerson : Person -> Person -> Person = \_,p -> 
      p ;

-- To construct a record with a polarity-dependent table.

    polCases : SS -> SS -> {s : Polarity => Str} = \true,false -> {
      s = table {
        Pos => true.s ;
        Neg => false.s
        }
      } ;

-- To count the length of a tail in a sequence of digits, e.g. to put commas
-- as in 1,000,000.

  param
    DTail = T1 | T2 | T3 ;


}