module rec NOMINAL :
  functor ( Term : TERM ) ->
    sig
      type symbol
      type nominal =
          Transcription of Term.term
          | Symbol of symbol
    end = functor ( Term : TERM ) ->
struct
  type symbol
  type nominal =
      Transcription of Term.term
      | Symbol of symbol
end
and TERM :
  functor ( Nominal : NOMINAL ) ->
sig
  type var = Nominal.nominal
  type term =
      Mention of var
      | Abstraction of var * term
      | Application of term * term
      | Dereference of var
end = functor ( Nominal : NOMINAL ) ->
struct
  type var = Nominal.nominal
  type term =
      Mention of var
      | Abstraction of var * term
      | Application of term * term
      | Dereference of var
end