loc:Id, T,A:Type, P:(AT), i:Id, k:Knd, a,x:Id.
  A
  
  T
  
  x = "trigger"  locl(a) = k  (A,Btrigger1(loc;T;A;P;i;k;a;x).A ||+ B)

None

About: IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html