• en

Module Genprintval

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 valu
val eval_path : Env.t -> Path.t -> valu
exception Error
val same_value : valu -> valu -> bool
end
module type S = sig
type t
val install_printer : Path.t -> Types.type_expr -> Format.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 -> Types.type_expr -> Outcometree.out_value
end
TODO: functor:ocamlfind.1.5.2/compiler-libs/Genprintval.Make