From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id AACBBBBAF for ; Tue, 22 Dec 2009 23:49:01 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhEBACPcMEvRVdvikGdsb2JhbACRZYkkPwEBAQEJCQwHEwOrYoEyhU2IWQECAwWELgQ X-IronPort-AV: E=Sophos;i="4.47,438,1257116400"; d="scan'208";a="40442180" Received: from mail-ew0-f226.google.com ([209.85.219.226]) by mail3-smtp-sop.national.inria.fr with ESMTP; 22 Dec 2009 23:48:59 +0100 Received: by ewy26 with SMTP id 26so3199733ewy.3 for ; Tue, 22 Dec 2009 14:48:58 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:date:message-id:subject :from:to:content-type; bh=9i2RPkuNmtGmvbgO4t7QtaXVQoQirCvsCGMmAWxE5Lw=; b=Qw10pf29nasfwrop5nIKUaaW008wceWy/wXmd9DokHwECJR0siNeIP73zFomgG9Nqu rqrn1YroG+y6Dsaq4JYGKLfuDDaKoVdvlb1G32vytob2l3uM25equE765zvJbqmNXm+2 leFkZ755XUlT9p8DOqpEFauC1JhrbLqBase+U= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:content-type; b=IV7HYTj71vUspLHN3iw+HrW3FuFNYF1ov1gUNslxaCoYVFF9AtDptyoKZKfvU88TsY 468rl8J+j0DsCebEqKCyAtNzKNuB4nZRKnnVduJYKJtrHuyBHCDX0cu/EzBumikgTMq5 xiYPh3v1z0a7vntK0Mrba6emNbplTlg5hvISM= MIME-Version: 1.0 Received: by 10.216.90.11 with SMTP id d11mr596695wef.187.1261522137635; Tue, 22 Dec 2009 14:48:57 -0800 (PST) Date: Tue, 22 Dec 2009 17:48:57 -0500 Message-ID: <92e42b740912221448s54594cbbpf65076b3b2e3fa7a@mail.gmail.com> Subject: basic question about Functors From: Keith Sheppard To: caml-list@yquem.inria.fr Content-Type: text/plain; charset=ISO-8859-1 X-Spam: no; 0.00; functors:01 ocaml:01 syntax:01 functors:01 ocaml:01 mli:01 define:02 modules:02 string:02 figuring:02 module:03 tutorial:03 confused:04 function:08 function:08 Hello, I'm still figuring out OCaml syntax and I have a very basic question. I've looked through the Functors section of the ocaml tutorial (http://www.ocaml-tutorial.org/modules) and so I see how I can declare a StringMap like: > module StringMap = Map.Make(String);; Now I can define a function like: > remove_fish = StringMap.remove "fish" What I'm confused about is what type signature I can use in the mli file if I want to make the remove_fish function public... Thanks in advance Keith