From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <jpathy@fssrv.net>
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 6FC257F6CB
	for <caml-list@sympa.inria.fr>; Mon,  9 Feb 2015 12:58:17 +0100 (CET)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  jpathy@fssrv.net) identity=pra; client-ip=74.125.82.180;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="jpathy@fssrv.net";
  x-sender="jpathy@fssrv.net"; x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  jpathy@fssrv.net designates 74.125.82.180 as permitted
  sender) identity=mailfrom; client-ip=74.125.82.180;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="jpathy@fssrv.net";
  x-sender="jpathy@fssrv.net"; 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-we0-f180.google.com) identity=helo;
  client-ip=74.125.82.180;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="jpathy@fssrv.net";
  x-sender="postmaster@mail-we0-f180.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0D9AQD/n9hUm7RSfUpchDIEgn7GdgdDAQEBAQEBEAEBAQEBBgsLCRQuhCURBBkBATglDwImAiQSAQUBFgwbGogLpFg+MYo+cIRiAQWRQAYKgReRRoFCiiyOIJEmEiOBFYIhH4FxHTGCQgEBAQ
X-IPAS-Result: A0D9AQD/n9hUm7RSfUpchDIEgn7GdgdDAQEBAQEBEAEBAQEBBgsLCRQuhCURBBkBATglDwImAiQSAQUBFgwbGogLpFg+MYo+cIRiAQWRQAYKgReRRoFCiiyOIJEmEiOBFYIhH4FxHTGCQgEBAQ
X-IronPort-AV: E=Sophos;i="5.09,543,1418079600"; 
   d="scan'208";a="120905219"
Received: from mail-we0-f180.google.com ([74.125.82.180])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 09 Feb 2015 12:58:17 +0100
Received: by mail-we0-f180.google.com with SMTP id m14so26372920wev.11
        for <caml-list@inria.fr>; Mon, 09 Feb 2015 03:58:17 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=fssrv.net; s=google;
        h=mime-version:date:message-id:subject:from:to:content-type;
        bh=p6aLnDpAaPn6YtsFAWLffctvdlEcmjyAKUnNo/pKn/s=;
        b=CRAuEthre1b5n9pC1ELnYezCqo3IHy/90BPFWjFt+rxPMawLjgwcX3WHhzfJfjX5AN
         FaXrfuZldjcnQyCC7vrMG52yokRluiL0AgDtJ+HvFU8YPiM/KPvnqbeUSyK+yusQUtx8
         wFABI1HgzklzR2JZSXER8AubfS1AX40bK9HEo=
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20130820;
        h=x-gm-message-state:mime-version:date:message-id:subject:from:to
         :content-type;
        bh=p6aLnDpAaPn6YtsFAWLffctvdlEcmjyAKUnNo/pKn/s=;
        b=cz5Ghb4CdEVo/BH8cDM/aKZ9l1ARvu+Js/SP0o3WtNK2nxuMueie2oOj2DmIII3r7Y
         68KCttWojpuvjIJRF2KKzK/zmLtbw/zDQz+pgZbKUp7LpUp3LWkU0avJ5eK4l3Xbsgnr
         XncIEGYvbaXVuD37KFJhjHmbcgkALXjqpkHqmCEZOzKMeW92fM4IYDudlYahTMI/EdQg
         kp1xKUlmJ8DUs8UAlEzdX+KxZsMhmsneK8K5AUFNTbiONC/Jhd2r6PjbuQuWzNHhczxu
         y+X8+M4OfobJc4PpprQ3Khubj9YFjc5IU598Uw1Qn0agkThsjwTlcfRvvErXFGyl49qF
         ahLA==
X-Gm-Message-State: ALoCoQn4hn1zQftPMPogpwQswf9ZS8YnTe245I8Wk2jPTmCuLU4a+cA/tYBh8tTYcu3OyvhWVocY
MIME-Version: 1.0
X-Received: by 10.195.12.35 with SMTP id en3mr39500637wjd.129.1423483097011;
 Mon, 09 Feb 2015 03:58:17 -0800 (PST)
Received: by 10.27.226.67 with HTTP; Mon, 9 Feb 2015 03:58:16 -0800 (PST)
Date: Mon, 9 Feb 2015 03:58:16 -0800
Message-ID: <CAL2Z3DCBhZDak75AsPOQneMrEBWDU18mdntq0cucfL17VVwpzw@mail.gmail.com>
From: Jiten Pathy <jpathy@fssrv.net>
To: "caml-list@inria.fr" <caml-list@inria.fr>
Content-Type: text/plain; charset=UTF-8
Subject: [Caml-list] format strings

When i define a wrapper around format functions like

let f s = (fun x -> Printf.sprintf s x);;

val f : ('a -> 'b, unit, bytes) format -> 'a -> 'b = <fun>

I am confused about the inferred type. where does this 'b comes from?