From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 4E3E87FA5F for ; Mon, 30 Jan 2017 17:39:09 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=umair.hvg@gmail.com; spf=Pass smtp.mailfrom=umair.hvg@gmail.com; spf=None smtp.helo=postmaster@mail-it0-f48.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of umair.hvg@gmail.com) identity=pra; client-ip=209.85.214.48; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="umair.hvg@gmail.com"; x-sender="umair.hvg@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of umair.hvg@gmail.com designates 209.85.214.48 as permitted sender) identity=mailfrom; client-ip=209.85.214.48; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="umair.hvg@gmail.com"; x-sender="umair.hvg@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-it0-f48.google.com) identity=helo; client-ip=209.85.214.48; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="umair.hvg@gmail.com"; x-sender="postmaster@mail-it0-f48.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ADKo95BZvSAEgR+JicOcY9hv/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZpsu5bnLW6fgltlLVR4KTs6sC0LuK9f67Ej1ZqdbZ6TZZL8wKD0dEwe?= =?us-ascii?q?wt3CUeQ+e9QXXhK/DrayFoVO9jb3RCu0+BDE5OBczlbEfTqHDhpRQbGxH4KBYn?= =?us-ascii?q?br+tQt2a3IyL0LW58pjXJgFJnyaVYLVoLRzwox+CmNMRhN5fL68w0FPyo3dEev?= =?us-ascii?q?1LyCs8OFeangy65tm/1JFm+iVU/fkm8pgTAu3BY60kQOkAX3wdOGcv6ZizuA?= =?us-ascii?q?=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DNAQBIa49YfzDWVdFdHQYMGQYMhRMHg?= =?us-ascii?q?06lBocOhzeIOwdDFAEBAQEBAQEBAQEBEgEBCQsLChsxQg4BgWIZghQzHQEbHgM?= =?us-ascii?q?SCAECBTcCJAERAQUBBol3AQMVmneDQD+MAoIDBQEcgwkFg1cKGScNVYMLAgYSk?= =?us-ascii?q?D2COoJfBZAviyWRe4FhAY8VkTkUHoEUNoFPHWSDWQxAH4F/IjWECIQqAQEB?= X-IPAS-Result: =?us-ascii?q?A0DNAQBIa49YfzDWVdFdHQYMGQYMhRMHg06lBocOhzeIOwd?= =?us-ascii?q?DFAEBAQEBAQEBAQEBEgEBCQsLChsxQg4BgWIZghQzHQEbHgMSCAECBTcCJAERA?= =?us-ascii?q?QUBBol3AQMVmneDQD+MAoIDBQEcgwkFg1cKGScNVYMLAgYSkD2COoJfBZAviyW?= =?us-ascii?q?Re4FhAY8VkTkUHoEUNoFPHWSDWQxAH4F/IjWECIQqAQEB?= X-IronPort-AV: E=Sophos;i="5.33,312,1477954800"; d="scan'208,217";a="258093853" Received: from mail-it0-f48.google.com ([209.85.214.48]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 30 Jan 2017 17:39:08 +0100 Received: by mail-it0-f48.google.com with SMTP id 203so197691843ith.0 for ; Mon, 30 Jan 2017 08:39:08 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=7Xa61hs4wMQ8TSbRVWh84vF2fLE/DgBSQBsl8VJ0Va8=; b=Y0MHp1WZh1w6zBxyEioW4I8PDpnDYo+LiDUBG16ir3b80HArWDp0OYIyVfIBTKRDmy b6Wo4uxnAbrM9mL0LQmKOTRbfbHgnmaluJTJan1eRn8mG6cupmiSgjQdXL0hRV3QtBNP 0Omi1FH6qeqIMQhodpiz87RZqWJF0rxbXT6Agf7yVyJ+tZlWdJsnzNtLZD9lnpY9iWk7 UdXsoR5IJGGP9TfZzb+6INBjVpVLS6C+1AtqEL4U3cAOBDV+dZMtkMteS+Byetwubs9t lwzNODgGtZDsxlfdjLFKq+KBOVzSEziB1rxmCmKKrDsk7BBp5+vD8k8oNt7wejNzMSNT dY6Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=7Xa61hs4wMQ8TSbRVWh84vF2fLE/DgBSQBsl8VJ0Va8=; b=d6ITjZCzZBlj6lK/AIGzta0Ib05R4J1iaJOhjHOnhC93eFgSh7sy48WAWN6oFmjYRP WC1RDfohhaUjA0aKUWJ3SkRLK5J5vbt0SqMNJVKbIlXwS/QEAgB8Oktlu5fYkj7ZgT3n 4zkgQgMBhvnLPfHBxamjHQpxH6Gtd9CHZKzFcKQY2zJDiXeJDir0O/euHbFFGar1cTXd jJypOdxZ/kkaYrUH3pEGymIvGHkkivkTkdfs1QqW5TeF+5x3iHo8+/i9rvfuCEho5Plx 7hpG+ok36iq8gMw3lU5O0KJbh6uHD8knZyjFQiawfyDICIFxJerxV6Q/keW2KQkEKM9d Tj/A== X-Gm-Message-State: AIkVDXKoRpH0rvPz/WwHLp1S5bVN7rYy0BEDPCO483oPQ+uJz/jOixYDwZVqQ8fhxYUrHD3p0J2gf0anTAnbXA== X-Received: by 10.36.208.134 with SMTP id m128mr16835253itg.44.1485794346396; Mon, 30 Jan 2017 08:39:06 -0800 (PST) MIME-Version: 1.0 Received: by 10.107.12.104 with HTTP; Mon, 30 Jan 2017 08:39:06 -0800 (PST) From: Umair Siddique Date: Mon, 30 Jan 2017 11:39:06 -0500 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=001a1149a44639f1c0054752744f Subject: [Caml-list] Memory Usage --001a1149a44639f1c0054752744f Content-Type: text/plain; charset=UTF-8 Dear All, I am wondering what is the best way to find the time and memory usage (in words or bytes) of an Ocaml function, e.g., Factorial) on MAC? Thanks Umair --001a1149a44639f1c0054752744f Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Dear All,=C2=A0


I am won= dering =C2=A0what is the best way to find the time and memory usage (in wor= ds or bytes) of an Ocaml function, e.g., Factorial) on MAC?

<= /div>

Thanks=C2=A0


Umair=C2=A0
--001a1149a44639f1c0054752744f--