Revision 510ea354c6e9e75901163aceb44e9749eae5d246 authored by Michel Mauny on 18 August 2004, 11:17:37 UTC, committed by Michel Mauny on 18 August 2004, 11:17:37 UTC
git-svn-id: http://caml.inria.fr/svn/ocaml/version/3.08@6605 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1 parent e07aab3
genprintval.mli
(***********************************************************************)
(* *)
(* Objective Caml *)
(* *)
(* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *)
(* *)
(* Copyright 1996 Institut National de Recherche en Informatique et *)
(* en Automatique. All rights reserved. This file is distributed *)
(* under the terms of the Q Public License version 1.0. *)
(* *)
(***********************************************************************)
(* $Id$ *)
(* Printing of values *)
open Types
open Format
module type OBJ =
sig
type t
val obj : t -> 'a
val is_block : t -> bool
val tag : t -> int
val size : t -> int
val field : t -> int -> t
end
module type EVALPATH =
sig
type value
val eval_path: Path.t -> value
exception Error
val same_value: value -> value -> bool
end
module type S =
sig
type t
val install_printer :
Path.t -> Types.type_expr -> (formatter -> t -> unit) -> unit
val remove_printer : Path.t -> unit
val outval_of_untyped_exception : t -> Outcometree.out_value
val outval_of_value :
int -> int ->
(int -> t -> Types.type_expr -> Outcometree.out_value option) ->
Env.t -> t -> type_expr -> Outcometree.out_value
end
module Make(O : OBJ)(EVP : EVALPATH with type value = O.t) :
(S with type t = O.t)
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...