From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p0QNt6Fn025413 for ; Thu, 27 Jan 2011 00:55:09 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhUBACNDQE3RVaE2kGdsb2JhbACkcwgVAQECCQkMBxEEIKIfigCCF4UPLohZAQEDBYVKBIUXhxI X-IronPort-AV: E=Sophos;i="4.60,382,1291590000"; d="scan'208";a="96962939" Received: from mail-fx0-f54.google.com ([209.85.161.54]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-MD5; 27 Jan 2011 00:55:08 +0100 Received: by fxm16 with SMTP id 16so1630584fxm.27 for ; Wed, 26 Jan 2011 15:55:08 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:from:date:message-id:subject:to :content-type; bh=saCP7LyPB4ZsmShVvbR5+Wt9QA3VlQsTUuaj7Z5DL/w=; b=JZ5v10k45cpKPoptg3Qm9s3S6szpC1/72Qn0ThL9gH3OxrFQYwUSTEpv7ldlNxDvuw geA+qN4f+jOOM0rjipnqcuX3Hhrl38bJWDa61mwTgbJzTfcuYqnyU+wSQuHeD5QQxK6P Av3VR3qSD5A0dDa0Qdwsqy2V9ec0dtVboCJyY= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:from:date:message-id:subject:to:content-type; b=c2dk+6eS/sduQH72UzQfGcmkJHkPO6kUfcrWtS/PocsPmPHYPL6u2/GTdr1oMC8yhG WSnzKBjhLEQ+pIS0vQbDGzP6+FiJc9cUkN3BzCEQkVCG442abX5aJzSAFLofyApQR8k5 rCvNlkLdc+nXvZaVZQt4faKFtgZgHDYGsuJWM= Received: by 10.223.78.138 with SMTP id l10mr189448fak.17.1296086108400; Wed, 26 Jan 2011 15:55:08 -0800 (PST) MIME-Version: 1.0 Received: by 10.223.78.143 with HTTP; Wed, 26 Jan 2011 15:54:48 -0800 (PST) From: Raoul Duke Date: Wed, 26 Jan 2011 15:54:48 -0800 Message-ID: To: OCaml Content-Type: text/plain; charset=ISO-8859-1 Subject: [Caml-list] return type annotation syntax? hi, how do i annotate/specify the return type of a function i'm writing? i see how to specify the type of the input arguments, but i didn't figure out how to say what the return type is. thanks.