Correct comment in structures.mli

SkySkimmer · SkySkimmer · commit e3028883d3e8 · 2022-12-16T17:02:21.000+01:00
diff --git a/pretyping/structures.mli b/pretyping/structures.mli
@@ -16,7 +16,7 @@ module Structure : sig
 (** A projection to a structure field *)
 type projection = {
   proj_name : Names.Name.t;            (** field name *)
-  proj_true : bool;                    (** false for primitive records *)
+  proj_true : bool;                    (** false = projection for a defined field (letin) *)
   proj_canonical : bool;               (** false = not to be used for CS inference *)
   proj_body : Names.Constant.t option; (** the projection function *)
 }

Original file line number	Diff line number	Diff line change
`@@ -16,7 +16,7 @@ module Structure : sig`
`16`	`16`	`(** A projection to a structure field *)`
`17`	`17`	`type projection = {`
`18`	`18`	`proj_name : Names.Name.t; (** field name *)`
`19`		`- proj_true : bool; (** false for primitive records *)`
	`19`	`+ proj_true : bool; (** false = projection for a defined field (letin) *)`
`20`	`20`	`proj_canonical : bool; (** false = not to be used for CS inference *)`
`21`	`21`	`proj_body : Names.Constant.t option; (** the projection function *)`
`22`	`22`	`}`