Skip to main content

Browse the archive

https://github.com/EasyCrypt/easycrypt
20 May 2022, 15:51:20 UTC
Revision 7f33e2a3856bf68aa5a58e4db8b686e1c6a6216d authored by Benjamin Grégoire on 26 April 2018, 06:13:35 UTC, committed by Pierre-Yves Strub on 26 April 2018, 06:18:29 UTC 
Module type include & bulk proc aliasing
 
 - 'include I' in module type allows the include of the contents of I
 - proc f1, f2, f3, ... = M imports f1, f2, f3 from M into the current
   module definition.

[closes #17375]
1 parent 4395a7e
Raw File
Tip revision: 7f33e2a3856bf68aa5a58e4db8b686e1c6a6216d authored by Benjamin Grégoire on 26 April 2018, 06:13:35 UTC
Module type include & bulk proc aliasing
Tip revision: 7f33e2a
.merlin 
S src
S src/phl
S src/system
S src/why3

B _build/src
B _build/src/phl
B _build/src/system
B _build/src/why3

PKG batteries
PKG menhirLib
PKG why3
PKG zarith
PKG pcre
PKG inifiles

FLG -rectypes
FLG -w Y -w Z -w -23 -w +28 -w +33
back to top