l4/pkg/ocaml/contrib/typing/path.mli

   1 (***********************************************************************)
   2 (*                                                                     *)
   3 (*                           Objective Caml                            *)
   4 (*                                                                     *)
   5 (*            Xavier Leroy, projet Cristal, INRIA Rocquencourt         *)
   6 (*                                                                     *)
   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.               *)
  10 (*                                                                     *)
  11 (***********************************************************************)
  12
  13 (* $Id: path.mli 5640 2003-07-01 13:05:43Z xleroy $ *)
  14
  15 (* Access paths *)
  16
  17 type t =
  18     Pident of Ident.t
  19   | Pdot of t * string * int
  20   | Papply of t * t
  21
  22 val same: t -> t -> bool
  23 val isfree: Ident.t -> t -> bool
  24 val binding_time: t -> int
  25
  26 val nopos: int
  27
  28 val name: t -> string
  29 val head: t -> Ident.t