1 (***********************************************************************)
5 (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
7 (* Copyright 1996 Institut National de Recherche en Informatique et *)
8 (* en Automatique. All rights reserved. This file is distributed *)
9 (* under the terms of the Q Public License version 1.0. *)
11 (***********************************************************************)
13 (* $Id: datarepr.mli 5643 2003-07-02 09:14:35Z xleroy $ *)
15 (* Compute constructor and label descriptions from type declarations,
16 determining their representation. *)
21 val constructor_descrs:
22 type_expr -> (string * type_expr list) list -> private_flag ->
23 (string * constructor_description) list
25 Path.t -> type_expr list -> constructor_description
27 type_expr -> (string * mutable_flag * type_expr) list ->
28 record_representation -> private_flag ->
29 (string * label_description) list
31 exception Constr_not_found
33 val find_constr_by_tag:
34 constructor_tag -> (string * type_expr list) list -> string * type_expr list