Olivier
/
inferno-experimental
2
0
Fork 1
Code Issues 15 Pull Requests 6 Releases Wiki Activity

Fix a documentation comment.

n-ary-fun-printing
François Pottier 2022-04-06 08:18:22 +02:00
parent a7d9423778
commit d6b05d1687
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/Generalization.mli
View File

@ -177,10 +177,10 @@ module Make
val exit: rectypes:bool -> variable list -> variable list * scheme list
(**[instantiate sigma] creates a fresh instance of the scheme [sigma]. The
generic variables of the type scheme are replaced with fresh variables,
obtained by invoking {!fresh}. The images of the scheme's quantifiers
and body through this copy are returned. The order of the scheme's
quantifiers, as determined by the function {!quantifiers}, is
generic variables of the type scheme are replaced with fresh flexible
variables, obtained by invoking {!flexible}. The images of the scheme's
quantifiers and body through this copy are returned. The order of the
scheme's quantifiers, as determined by the function {!quantifiers}, is
preserved. *)
val instantiate: scheme -> variable list * variable