Skip to main content

Browse the archive

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
MANIFEST 
Makefile
Makefile.system
MANIFEST
README.md
COPYRIGHT

# ocamlbuild configuration
_tags
myocamlbuild.ml
config/tests.config

# EasyCrypt sources
find:src:*.ml
find:src:*.mli
find:src:*.mly
find:src:*.mll

src/ecVersion.ml.in
exclude:src/ecVersion.ml

# EasyCrypt theories
find:theories:*.ec
find:theories:*.eca

# EasyCrypt extraction support library
find:extraction:*.ml
find:extraction:*.mli
find:extraction:*.ec

# system
system/Makefile
system/*.c
system/win32/*.c
system/unix/*.c

# EasyCrypt examples
find:examples:*.ec
find:examples:*.eca

# Build scripts
scripts/install/install-sh
scripts/install/distribution
scripts/testing/runtest
scripts/srctx/keywords
find:scripts/patches/:*
back to top