(**********************************************************************)
(* (c) Greg Morrisett, Neal Glew,                                     *)
(*     June 1998, all rights reserved.                                *)
(**********************************************************************)

(* tallinkchk.mli
 * TAL Link Verifier
 *
 * Checks various linking operations are correct.
 *)

open Tal;;
open Talverify;;

val verify_link :
    (tal_int_type*tal_int_type) list -> tal_int_type*tal_int_type;;
val set_program_interface : ref2int -> int_ref array -> int_ref array -> unit;;
val verify_program : tal_int_type*tal_int_type -> unit;;

(* tallinkchk.mli *)
