]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - src/common/atom.mli
projects / pkg-cerco / acc.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Package description and copyright added.
[pkg-cerco/acc.git] / src / common / atom.mli
1
2 (* Pasted from Pottier's PP compiler *)
3
4 (** This module implements the signature [AtomSig.S]. *)
5
6 include AtomSig.S
7
Unnamed repository; edit this file 'description' to name the repository.