- | Ast.LetIn (var, t1, t2) ->
- sprintf "let %s \\def %s in %s" (pp_capture_variable pp_term var) (pp_term ~pp_parens:true t1)
+ | Ast.LetIn ((var,t2), t1, t3) ->
+ let t2 = match t2 with None -> Ast.Implicit | Some t -> t in
+ sprintf "let %s : %s \\def %s in %s" (pp_term var)