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: primitive.mli 8930 2008-07-24 05:35:22Z frisch $ *)
15 (* Description of primitive functions *)
18 { prim_name: string; (* Name of primitive or C function *)
19 prim_arity: int; (* Number of arguments *)
20 prim_alloc: bool; (* Does it allocates or raise? *)
21 prim_native_name: string; (* Name of C function for the nat. code gen. *)
22 prim_native_float: bool } (* Does the above operate on unboxed floats? *)
24 val parse_declaration: int -> string list -> description
26 val description_list: description -> string list
28 val native_name: description -> string
29 val byte_name: description -> string