mlton/codegen/x86-codegen/x86-entry-transfer.sig

   1 (* Copyright (C) 1999-2005 Henry Cejtin, Matthew Fluet, Suresh
   2  *    Jagannathan, and Stephen Weeks.
   3  * Copyright (C) 1997-2000 NEC Research Institute.
   4  *
   5  * MLton is released under a BSD-style license.
   6  * See the file MLton-LICENSE for details.
   7  *)
   8
   9 signature X86_ENTRY_TRANSFER_STRUCTS =
  10   sig
  11     structure x86 : X86
  12   end
  13
  14 signature X86_ENTRY_TRANSFER =
  15   sig
  16     include X86_ENTRY_TRANSFER_STRUCTS
  17
  18     val verifyEntryTransfer : {chunk: x86.Chunk.t} -> bool
  19     val verifyEntryTransfer_msg : unit -> unit
  20   end