# module VALUE ( Nominal : NOMINALS ) ( Term : TERMS ) ( Env : ENVIRONMENTS ) =
struct
  type ident = Nominal.nominal
  type term = Term.term
  type ptrn = Term.pattern
  type value =
      Ground of ground
      | Closure of ptrn * term * env
      | BOTTOM
      | UNIT
  and ground =
      Boolean of bool
      | String of string
      | Integer of int
      | Double of float
      | Reification of Term.term
  and env = ( ident, value ) Env.env
end;;
                                  module VALUE :
  functor (Nominal : NOMINALS) ->
    functor (Term : TERMS) ->
      functor (Env : ENVIRONMENTS) ->
        sig
          type ident = Nominal.nominal
          type term = Term.term
          type ptrn = Term.pattern
          type value =
              Ground of ground
            | Closure of ptrn * term * env
            | BOTTOM
            | UNIT
          and ground =
              Boolean of bool
            | String of string
            | Integer of int
            | Double of float
            | Reification of Term.term
          and env = (ident, value) Env.env
        end
#