TYPE
  PagCoop = n : STR
            meta : fs
            catalogo : fonteInf
  inv(p) = 'url in dom(meta(p));

  fonteInf = termo -> inf;
  script = url --> fonteInf;
ENDTYPE

a <- [ 'a -> 12, 'b -> 234, 'c -> "batatas"];
a <- [ 'a -> [12 -> 23, 34 -> 44] , 'b -> 234, 'c -> "batatas"];

b <- <1,2,3,4>;

b <- {1,2,3,4};

f(x) = if( a -> 1,
           b -> 2,
          else -> 3);