Fix typo checks

master
Leandro Ostera 2020-11-06 23:49:19 +01:00
parent f4143fd372
commit 5278e3fe37
No known key found for this signature in database
GPG Key ID: 164AFF20E1035D1F
1 changed files with 4 additions and 2 deletions

View File

@ -759,12 +759,14 @@ type implementation = {
}
(** A typechecked implementation including its module structure, its exported
signature, and a coercion of the module against that signature.
If an .mli file is present, the signature will come from that file and be
the exported signature of the module.
If there isn't one, the signature will be inferred from the module structure.
If there isn't one, the signature will be inferred from the module
structure.
*)
(* Auxiliary functions over the a.s.t. *)
(** [as_computation_pattern p] is a computation pattern with description