l4/pkg/ocaml/contrib/bytecomp/typeopt.mli

   1 (***********************************************************************)
   2 (*                                                                     *)
   3 (*                           Objective Caml                            *)
   4 (*                                                                     *)
   5 (*            Xavier Leroy, projet Cristal, INRIA Rocquencourt         *)
   6 (*                                                                     *)
   7 (*  Copyright 1998 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.               *)
  10 (*                                                                     *)
  11 (***********************************************************************)
  12
  13 (* $Id: typeopt.mli 2873 2000-02-28 15:45:50Z xleroy $ *)
  14
  15 (* Auxiliaries for type-based optimizations, e.g. array kinds *)
  16
  17 val has_base_type : Typedtree.expression -> Path.t -> bool
  18 val maybe_pointer : Typedtree.expression -> bool
  19 val array_kind : Typedtree.expression -> Lambda.array_kind
  20 val array_pattern_kind : Typedtree.pattern -> Lambda.array_kind
  21 val bigarray_kind_and_layout :
  22       Typedtree.expression -> Lambda.bigarray_kind * Lambda.bigarray_layout