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

   1 (* Copyright (C) 1999-2007 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 AMD64_ENTRY_TRANSFER_STRUCTS =
  10   sig
  11     structure amd64 : AMD64
  12   end
  13
  14 signature AMD64_ENTRY_TRANSFER =
  15   sig
  16     include AMD64_ENTRY_TRANSFER_STRUCTS
  17
  18     val verifyEntryTransfer : {chunk: amd64.Chunk.t} -> bool
  19     val verifyEntryTransfer_msg : unit -> unit
  20   end