From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <caml-list-owner@inria.fr>
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by c5ff346549e7 (Postfix) with ESMTPS id 187285D4
	for <caml-list@inbox.ocaml.org>; Tue, 21 Apr 2020 11:41:12 +0000 (UTC)
X-IronPort-AV: E=Sophos;i="5.72,410,1580770800"; 
   d="scan'208";a="446152221"
Received: from sympa.inria.fr ([193.51.193.213])
  by mail2-relais-roc.national.inria.fr with ESMTP; 21 Apr 2020 13:41:10 +0200
Received: by sympa.inria.fr (Postfix, from userid 20132)
	id 9E08D7F47A; Tue, 21 Apr 2020 13:41:10 +0200 (CEST)
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id 7C3747EEA4
	for <caml-list@sympa.inria.fr>; Tue, 21 Apr 2020 13:41:02 +0200 (CEST)
Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=fox@orbitalfox.eu; spf=Pass smtp.mailfrom=fox@orbitalfox.eu; spf=Pass smtp.helo=postmaster@orbitalfox.eu
IronPort-PHdr: =?us-ascii?q?9a23=3AO9HH/R/fwtDfef9uRHKM819IXTAuvvDOBiVQ1KB5?=
 =?us-ascii?q?1uwcTK2v8tzYMVDF4r011RmVBNidt68P17CempujcFRI2YyGvnEGfc4EfD4+ou?=
 =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?=
 =?us-ascii?q?POT1HZPZg9iq2+yo9JDffgVFiCCybL5yIxm7ohvdvdQKjIV/Lao81gHHqWZSde?=
 =?us-ascii?q?RMwmNoK1OTnxLi6cq14ZVu7Sdete8/+sBZSan1cLg2QrJeDDQ9LmA6/9brugXZ?=
 =?us-ascii?q?TQuO/XQTTGMbmQdVDgff7RH6WpDxsjbmtud4xSKXM9H6QawyVD+/6apgVR3mhz?=
 =?us-ascii?q?odNzMh7m/ZitF+gqFVrh2vqBNw34HabZqJNPd8ZK7RYc8WSGRDU8tXSidPApm8?=
 =?us-ascii?q?b4wKD+cZOuZYtZLyp1oArRqxGAKhA+3vyjhHh3Lt2q06yf8uEQDa3AM6G9IOvn?=
 =?us-ascii?q?PUrdrvOKgMTOC41a/FxijAYfNOwTrw7IjFfgo8rfyOQ758a9TdxEcxGw/fkFmc?=
 =?us-ascii?q?tZLpMjWI3eoXqWeb9fBvVee3hm4ntQ5xpj+vy98rionTnY0Vy0zE+j99wIY7It?=
 =?us-ascii?q?25R1R3bsC5EJdItiGaMZV5Qt86TmxsuCs20KAKtJylcCQQ1pgqyQDTZ+aZf4SU?=
 =?us-ascii?q?/B7vTOORLi15hHJhdrK/nRGy8U24x+3yUcm1301Hri1fktbXt3ANywbc6syJSv?=
 =?us-ascii?q?t68UatwyiA1x3L5uFePU80jbbbK4ImwrMoipUcq0HDHivvlEXyja+WbVkk9/Oz?=
 =?us-ascii?q?6+XnZ7XmvoWTO5V1igH4KKQum9awDf42MggUDCCn/rG33bjnuEn4W6lij/ssk6?=
 =?us-ascii?q?CfvoqJC94co/u+GQVU3JZrvxi4Hx+hyt4ZgXADIlVVPh+a2du6c2rSKez1WK/s?=
 =?us-ascii?q?y2+nly1mkqifb+/RR67VJ32Gq4/POLN06kpS0g02lI0N4IheC60IJPz0Sgn8qY?=
 =?us-ascii?q?6BV0JrA0mP2+/iTe5F+MYeVGaIW/LLN7nYsEOB4uwoM6+Bed1M4WqvG70e//fr?=
 =?us-ascii?q?yEQBtxoFZ6DwgMkQcnq5Av1iLUKJJ3fx0I8M?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BCsgAt255eZMrorF9mHgFDDIFSA4E+A?=
 =?us-ascii?q?gEBAQEBY29SMiqEHogkhlxOAQEBAQEBBoEKO4NjlWaBegoBAwEMLAECBAEBhFG?=
 =?us-ascii?q?CCx0GAQQ4Ag0CEAEBBQEBAQIBAgMEAQRdhWEMgjsigz4VCAEBODQCJgJsCAEBg?=
 =?us-ascii?q?yKCWCmxFoEygwABAQWCSIUdCYEOKAMBAQEBAQGMMhp5gQeBOIFAhwKCRYJfmGi?=
 =?us-ascii?q?ZJIIpJYIllUcjgkUBjSyMa60KggAKgVdzEoMkUBgNkSwBAQGFHYlWQAMwgQQBj?=
 =?us-ascii?q?kIBAQ?=
X-IPAS-Result: =?us-ascii?q?A0BCsgAt255eZMrorF9mHgFDDIFSA4E+AgEBAQEBY29SMiq?=
 =?us-ascii?q?EHogkhlxOAQEBAQEBBoEKO4NjlWaBegoBAwEMLAECBAEBhFGCCx0GAQQ4Ag0CE?=
 =?us-ascii?q?AEBBQEBAQIBAgMEAQRdhWEMgjsigz4VCAEBODQCJgJsCAEBgyKCWCmxFoEygwA?=
 =?us-ascii?q?BAQWCSIUdCYEOKAMBAQEBAQGMMhp5gQeBOIFAhwKCRYJfmGiZJIIpJYIllUcjg?=
 =?us-ascii?q?kUBjSyMa60KggAKgVdzEoMkUBgNkSwBAQGFHYlWQAMwgQQBjkIBAQ?=
X-IronPort-AV: E=Sophos;i="5.72,410,1580770800"; 
   d="scan'208";a="346539466"
X-MGA-submission: =?us-ascii?q?MDGJyWncbfbnQmppUZPbQUP7KxAWF61OPLqG94?=
 =?us-ascii?q?Wp5IbtzVWpeIPz1KaBaUROMwQ2dyXPTYnLp/tkAsoXaea6De5+6qSXa8?=
 =?us-ascii?q?eB5FGeZ+SuHMQ0HqX9KE5jAvvM1BbQ0BrcdiQh5mT1uEQdSvzOLs6HRS?=
 =?us-ascii?q?4SvxiLDo0X1jqS10sBMcm7dw=3D=3D?=
Received: from orbitalfox.eu ([95.172.232.202])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 21 Apr 2020 13:41:01 +0200
Received: from [192.168.88.15] (unknown [192.168.88.15])
	by orbitalfox.eu (Postfix) with ESMTPSA id 5654EAA0024
	for <caml-list@inria.fr>; Tue, 21 Apr 2020 12:41:00 +0100 (BST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=orbitalfox.eu;
	s=orbitalfox; t=1587469260;
	bh=PrUB0xmsT9WtlwtpmOtebVX0AjHIQFO8yntkffjQHRY=;
	h=To:From:Subject:Date;
	b=mwJAqmfsAvhQffSzZAgS7AgGozEDz8BYw/klnKf4QrgAYfchyE6odjXGd2h8li4wh
	 6OoqXNm2AI1figj4oNTyroM62f1z8I04d4ztgB/eZYx+4/4fjIBExnwpT+EHeUkZLC
	 oNuYav8CU9VHU06AG0cNRhN95dYy+HSFNEY1+wXbYQg4csmkHaXf8rVl7tXzzZph9F
	 mHL1z4NqDAf0O73NrPod92QkvbjcCux+QH4i273n0j4EGU6hMvx+sTEPeNkucplJM9
	 PolZcQ2gsGJsPwPqtbd2Bcs5RCWLJHJFTqI6TfW9EdJO09O93LtnoViWXZPTHrQjP7
	 cKu5xrgvzlGXA==
X-Mozilla-News-Host: snews://orbitalfox.eu:563
To: caml-list@inria.fr
From: orbifx <fox@orbitalfox.eu>
Message-ID: <37e47dfd-580b-725f-725b-190580bee8f6@orbitalfox.eu>
Date: Tue, 21 Apr 2020 12:40:58 +0100
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101
 Thunderbird/68.7.0
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Language: en-GB
Content-Transfer-Encoding: 7bit
Subject: [Caml-list] Introspection of functions with Utop
Reply-To: orbifx <fox@orbitalfox.eu>
X-Loop: caml-list@inria.fr
X-Sequence: 18111
Errors-to: caml-list-owner@inria.fr
Precedence: list
Precedence: bulk
Sender: caml-list-request@inria.fr
X-no-archive: yes
List-Id: <caml-list.inria.fr>
List-Archive: <http://sympa.inria.fr/sympa/arc/caml-list>
List-Help: <mailto:sympa_inria@inria.fr?subject=help>
List-Owner: <mailto:caml-list-request@inria.fr>
List-Post: <mailto:caml-list@inria.fr>
List-Subscribe: <mailto:sympa_inria@inria.fr?subject=subscribe%20caml-list>
List-Unsubscribe: <mailto:sympa_inria@inria.fr?subject=unsubscribe%20caml-list>

Is there a way for utop to show the definition of a function? Or does it compile it right after parsing it?

Thanks