lib/cml/core-cml/trans-id.sig

   1 (* trans-id.sig
   2  * 2004 Matthew Fluet (mfluet@acm.org)
   3  *  Ported to MLton threads.
   4  *)
   5
   6 (* ???
   7  *
   8  * COPYRIGHT (c) 1995 AT&T Bell Laboratories.
   9  * COPYRIGHT (c) 1989-1991 John H. Reppy
  10  *)
  11
  12 signature TRANS_ID =
  13    sig
  14       datatype trans_id = datatype RepTypes.trans_id
  15       datatype trans_id_state = datatype RepTypes.trans_id_state
  16
  17       (* create a new transaction ID. *)
  18       val mkTxId : unit -> trans_id
  19       (* create a transaction flag (ID and cleanUp). *)
  20       val mkFlg  : unit -> (trans_id * (unit -> unit))
  21       (* given a transaction ID, mark it cancelled. *)
  22       val force : trans_id -> unit
  23
  24       (*val toString : trans_id -> string*)
  25    end