Commit b0e924cf authored by POTTIER Francois's avatar POTTIER Francois

Indentation.

parent a5b3a04d
(* -------------------------------------------------------------------------- *)
(* This functor is applied to a type of terms, equipped with visitor classes.
It produces a toolbox of useful functions that operate on terms. *)
......@@ -61,58 +59,64 @@ module Make (Term : sig
end) = struct
open Term
open Term
(* -------------------------------------------------------------------------- *)
(* A raw term is one where every name is represented as a string. This form is
typically produced by a parser, and consumed by a printer. It is not used
internally. *)
(* A raw term is one where every name is represented as a string. This form
is typically produced by a parser, and consumed by a printer. It is not
used internally. *)
type raw_term =
(string, string) term
type raw_term =
(string, string) term
(* A nominal term is one where every name is represented as an atom. Although
this is not visible in this type definition, we may additionally impose a
Global Uniqueness Hypothesis (GUH), that is, we may require every binding
name occurrence to carry a distinct atom. *)
(* A nominal term is one where every name is represented as an atom. Although
this is not visible in this type definition, we may additionally impose a
Global Uniqueness Hypothesis (GUH), that is, we may require every binding
name occurrence to carry a distinct atom. *)
type nominal_term =
(Atom.t, Atom.t) term
type nominal_term =
(Atom.t, Atom.t) term
(* -------------------------------------------------------------------------- *)
#include "AlphaLibMacros.cppo.ml"
(* All of the code is produced by macro-expansion. *)
(* This serves as a test of our macros, which can also be used directly by
the end user, in situations where the functor [Toolbox.Make] cannot be
used. *)
#include "AlphaLibMacros.cppo.ml"
__FA
FA(term)
__FA
FA(term)
__FILTER
FILTER(term)
__FILTER
FILTER(term)
__BA
BA(term)
__BA
BA(term)
__COPY
COPY(term)
__COPY
COPY(term)
__SHOW
SHOW(term)
__SHOW
SHOW(term)
__IMPORT
IMPORT(term)
__IMPORT
IMPORT(term)
__EXPORT
EXPORT(term)
__EXPORT
EXPORT(term)
__SIZE
SIZE(term)
__SIZE
SIZE(term)
__EQUIV
EQUIV(term)
__EQUIV
EQUIV(term)
__SUBST(term, TVar)
SUBST(term, term)
__SUBST(term, TVar)
SUBST(term, 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