docs: fix a typo

RedPRL · May 30, 2024 · 523677b · 523677b
1 parent 6ec3a0d
commit 523677b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/docs/quickstart.mld b/docs/quickstart.mld
@@ -114,7 +114,7 @@ include
       (** A function to embed a level expression *)
       let level (l : ulvl) : t = ULvl l
 
-      (** A function to check whether an expression is an embed a level expression *)
+      (** A function to check whether an expression is an embedded level expression *)
       let unlevel : t -> ulvl option = function ULvl l -> Some l | _ -> None
     end)
 ]}

diff --git a/example/Domain.ml b/example/Domain.ml
@@ -38,6 +38,6 @@ include
       (** A function to embed a level expression *)
       let level (l : ulvl) : t = ULvl l
 
-      (** A function to check whether an expression is an embed a level expression *)
+      (** A function to check whether an expression is an embedded level expression *)
       let unlevel : t -> ulvl option = function ULvl l -> Some l | _ -> None
     end)