home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 2 / Apprentice-Release2.iso / Tools / Languages / Caml Light 0.61 / Source / src / lib / obj.mli < prev    next >
Encoding:
Text File  |  1993-09-24  |  658 b   |  19 lines  |  [TEXT/MPS ]
  1. (* Operations on internal representations of values. *)
  2.  
  3. (* ALL OPERATIONS PROVIDED HERE ARE UNSAFE AND NOT FOR THE CASUAL USER.
  4.    Hence they are undocumented... *)
  5.  
  6. type obj
  7. ;;
  8. value repr : 'a -> obj = 1 "identity"
  9.   and magic_obj : obj -> 'a = 1 "identity"
  10.   and magic : 'a -> 'b = 1 "identity"
  11.   and is_block : obj -> bool = 1 "obj_is_block"
  12.   and obj_tag : obj -> int = 1 "tag_of"
  13.   and obj_size : obj -> int = 1 "vect_length"
  14.   and obj_field : obj -> int -> obj = 2 "get_vect_item"
  15.   and set_obj_field : obj -> int -> obj -> unit = 3 "set_vect_item"
  16.   and obj_block : int -> int -> obj = 2 "obj_block"
  17.   and update : obj -> obj -> unit = 2 "update"
  18. ;;
  19.