diff --git a/src/api/js/src/high-level/types.ts b/src/api/js/src/high-level/types.ts
index b252f6921..128491954 100644
--- a/src/api/js/src/high-level/types.ts
+++ b/src/api/js/src/high-level/types.ts
@@ -802,6 +802,9 @@ export interface Context<Name extends string = 'main'> {
   /** @category Operations */
   substituteFuns(t: Expr<Name>, ...substitutions: [FuncDecl<Name>, Expr<Name>][]): Expr<Name>;
 
+  /** @category Operations */
+  updateField(t: DatatypeExpr<Name>, fieldAccessor: FuncDecl<Name>, newValue: Expr<Name>): DatatypeExpr<Name>;
+
   simplify(expr: Expr<Name>): Promise<Expr<Name>>;
 
   /** @category Operations */