Commit 2915c12d authored by POTTIER Francois's avatar POTTIER Francois

New macros __ALL and ALL.

parent 3fc62150
......@@ -66,53 +66,9 @@ type nominal_term =
#include "AlphaLibMacros.cppo.ml"
__FA
FA(typ)
FA(term)
__FILTER
FILTER(typ)
FILTER(term)
__BA
BA(typ)
BA(term)
__AVOIDS
AVOIDS(typ)
AVOIDS(term)
__GUQ
GUQ(typ)
GUQ(term)
__COPY
COPY(typ)
COPY(term)
__AVOID
AVOID(typ)
AVOID(term)
__IMPORT
IMPORT(typ)
IMPORT(term)
__EXPORT
EXPORT(typ)
EXPORT(term)
__SHOW
SHOW(typ)
SHOW(term)
__SIZE
SIZE(typ)
SIZE(term)
__EQUIV
EQUIV(typ)
EQUIV(term)
__ALL
ALL(typ)
ALL(term)
__SUBST(TyVar)
SUBST(TyVar, typ)
......
......@@ -245,3 +245,35 @@
SUBST_FUN(Var, term) copy (Atom.Map.singleton x u) t \
(* -------------------------------------------------------------------------- *)
(* Summary macros. *)
#define __ALL \
__FA \
__FILTER \
__BA \
__AVOIDS \
__GUQ \
__COPY \
__AVOID \
__IMPORT \
__EXPORT \
__SHOW \
__SIZE \
__EQUIV \
#define ALL(term) \
FA(term) \
FILTER(term) \
BA(term) \
AVOIDS(term) \
GUQ(term) \
COPY(term) \
AVOID(term) \
IMPORT(term) \
EXPORT(term) \
SHOW(term) \
SIZE(term) \
EQUIV(term) \
(* -------------------------------------------------------------------------- *)
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment