diff --git a/types/index.ts b/types/index.ts
index 20cc03273..696fc8bde 100644
--- a/types/index.ts
+++ b/types/index.ts
@@ -1040,12 +1040,32 @@ import examples
     simplify: (name: string) => `simplify ${name}`
   })).toMatchTypeOf<void>()
 
+  expectTypeOf(math.import({
+    myvalue: 42
+  }, {
+    override: true
+  })).toMatchTypeOf<void>()
+
+  expectTypeOf(math.import({
+    myvalue: 42
+  }, {
+    silent: true
+  })).toMatchTypeOf<void>()
+
+  expectTypeOf(math.import({
+    myvalue: 42
+  }, {
+    wrap: true
+  })).toMatchTypeOf<void>()
+
   expectTypeOf(math.import({
     myvalue: 42,
   })).toMatchTypeOf<void>()
 
   expectTypeOf(math.import([{
     myvalue: 42,
+  }, {
+    simplify: (name: string) => `simplify ${name}`
   }])).toMatchTypeOf<void>()
 }