signature ML_HEAP = sig val obj_size: 'a -> int val sizeof1: 'a -> int val sizeof_list: 'a list -> int val sizeof: 'a list -> int val full_gc: unit -> unit val gc_now: unit -> Time.time val share_common_data: unit -> unit val save_child: string -> unit end;
structure ML_Heap: ML_HEAP = struct
val obj_size = PolyML.objSize;
fun sizeof1 x = obj_size x * ML_System.platform_obj_size;
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
