uhc-light-1.1.7.0: 103/lib/ag/TyCore/AbsSyn.ag

DATA Expr
  | HoleLet     bindsUid        : {UID}
                body            : Expr
  | ImplsApp    func            : Expr
                uid             : {ImplsVarId}
  | ImplsLam    uid             : {ImplsVarId}
                body            : Expr

DATA Pat
  | BoolExpr    expr            : Expr