# module type NOMINALS =
sig
  type symbol
  type nominal
end

module type TERMS =
sig
  type term
end

module rec NOMINAL :
  functor ( Term : TERMS ) ->
    sig
      type symbol
      type nominal =
          Transcription of Term.term
          | Symbol of symbol
    end = functor ( Term : TERMS ) ->
struct
  type symbol
  type nominal =
      Transcription of Term.term
      | Symbol of symbol
end
and TERM :
  functor ( Nominal : NOMINALS ) ->
sig
  type var = Nominal.nominal
  type term =
      Sequence of term list
      | Application of term * term list
      | Supposition of pattern * term * term
      | Recurrence of pattern * term * term
      | Abstraction of pattern * term * term
      | Condition of term * term * term
      | Comprehension of binding list * term
      | Consolidation of binding list * term
      | Filtration of binding list * pattern list * term
      | Concentration of binding list * pattern list * term
      | Equation of term * term
      | ComparisonLT of term * term
      | ComparisonGT of term * term
      | ComparisonLTE of term * term
      | ComparisonGTE of term * term
      | Acquisition
      | Suspension of term * term
      | Release of term * term
      | InnerSuspension of term * term
      | Calculation of arithmeticTerm
  and arithmeticTerm =
      Division of arithmeticTerm * arithmeticTerm
      | Addition of arithmeticTerm * arithmeticTerm
      | Multiplication of arithmeticTerm * arithmeticTerm
      | Juxtaposition of arithmeticTerm * arithmeticTerm
      | Negation of arithmeticTerm
      | Mention of variation
      | Actualization of value
      | Aggregation of term
  and binding =
      Question of pattern * term
  and pattern =
      Element of symbol * pattern list
      | Variable of variation
      | Materialization of value
      | Procession of lyst
  and variation =
      Identifer of var
      | Abandon of wild
  and lyst =
      Empty
      | Enum of pattern list
      | Cons of pattern list * lyst
      | ConsV of pattern list * variation
  and value =
      BooleanLiteral of duality
      | StringLiteral of string
      | IntegerLiteral of int
      | DoubleLiteral of float
      | Reification of term
  and duality =
      Verity
      | Absurdity
  and symbol =
      Tag of lIdent
  and lIdent = LIdent of string
  and uIdent = UIdent of string
  and wild = Wild of string
end = functor ( Nominal : NOMINALS ) ->
struct
  type var = Nominal.nominal
  type term =
      Sequence of term list
      | Application of term * term list
      | Supposition of pattern * term * term
      | Recurrence of pattern * term * term
      | Abstraction of pattern * term * term
      | Condition of term * term * term
      | Comprehension of binding list * term
      | Consolidation of binding list * term
      | Filtration of binding list * pattern list * term
      | Concentration of binding list * pattern list * term
      | Equation of term * term
      | ComparisonLT of term * term
      | ComparisonGT of term * term
      | ComparisonLTE of term * term
      | ComparisonGTE of term * term
      | Acquisition
      | Suspension of term * term
      | Release of term * term
      | InnerSuspension of term * term
      | Calculation of arithmeticTerm
  and arithmeticTerm =
      Division of arithmeticTerm * arithmeticTerm
      | Addition of arithmeticTerm * arithmeticTerm
      | Multiplication of arithmeticTerm * arithmeticTerm
      | Juxtaposition of arithmeticTerm * arithmeticTerm
      | Negation of arithmeticTerm
      | Mention of variation
      | Actualization of value
      | Aggregation of term
  and binding =
      Question of pattern * term
  and pattern =
      Element of symbol * pattern list
      | Variable of variation
      | Materialization of value
      | Procession of lyst
  and variation =
      Identifer of var
      | Abandon of wild
  and lyst =
      Empty
      | Enum of pattern list
      | Cons of pattern list * lyst
      | ConsV of pattern list * variation
  and value =
      BooleanLiteral of duality
      | StringLiteral of string
      | IntegerLiteral of int
      | DoubleLiteral of float
      | Reification of term
  and duality =
      Verity
      | Absurdity
  and symbol =
      Tag of lIdent
  and lIdent = LIdent of string
  and uIdent = UIdent of string
  and wild = Wild of string
end;;
                                                                                                                                                                                                                                                                                                            module type NOMINALS = sig type symbol type nominal end
module type TERMS = sig type term end
module rec NOMINAL :
  functor (Term : TERMS) ->
    sig
      type symbol
      type nominal = Transcription of Term.term | Symbol of symbol
    end
and TERM :
  functor (Nominal : NOMINALS) ->
    sig
      type var = Nominal.nominal
      type term =
          Sequence of term list
        | Application of term * term list
        | Supposition of pattern * term * term
        | Recurrence of pattern * term * term
        | Abstraction of pattern * term * term
        | Condition of term * term * term
        | Comprehension of binding list * term
        | Consolidation of binding list * term
        | Filtration of binding list * pattern list * term
        | Concentration of binding list * pattern list * term
        | Equation of term * term
        | ComparisonLT of term * term
        | ComparisonGT of term * term
        | ComparisonLTE of term * term
        | ComparisonGTE of term * term
        | Acquisition
        | Suspension of term * term
        | Release of term * term
        | InnerSuspension of term * term
        | Calculation of arithmeticTerm
      and arithmeticTerm =
          Division of arithmeticTerm * arithmeticTerm
        | Addition of arithmeticTerm * arithmeticTerm
        | Multiplication of arithmeticTerm * arithmeticTerm
        | Juxtaposition of arithmeticTerm * arithmeticTerm
        | Negation of arithmeticTerm
        | Mention of variation
        | Actualization of value
        | Aggregation of term
      and binding = Question of pattern * term
      and pattern =
          Element of symbol * pattern list
        | Variable of variation
        | Materialization of value
        | Procession of lyst
      and variation = Identifer of var | Abandon of wild
      and lyst =
          Empty
        | Enum of pattern list
        | Cons of pattern list * lyst
        | ConsV of pattern list * variation
      and value =
          BooleanLiteral of duality
        | StringLiteral of string
        | IntegerLiteral of int
        | DoubleLiteral of float
        | Reification of term
      and duality = Verity | Absurdity
      and symbol = Tag of lIdent
      and lIdent = LIdent of string
      and uIdent = UIdent of string
      and wild = Wild of string
    end
#