From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <radzevich.belevich@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: **
X-Spam-Status: No, score=2.1 required=5.0 tests=AWL,DNS_FROM_RFC_POST,
	SPF_NEUTRAL autolearn=disabled version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by yquem.inria.fr (Postfix) with ESMTP id 81716BBAF
	for <caml-list@yquem.inria.fr>; Thu,  9 Apr 2009 10:42:07 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AkgBAC9S3UlIDtycimdsb2JhbACVZz8BAQEKCQwHDwWmbYEJkAsBAwEDg3gG
X-IronPort-AV: E=Sophos;i="4.38,431,1233529200"; 
   d="scan'208";a="27349934"
Received: from fg-out-1718.google.com ([72.14.220.156])
  by mail1-smtp-roc.national.inria.fr with ESMTP; 09 Apr 2009 10:42:07 +0200
Received: by fg-out-1718.google.com with SMTP id l27so587890fgb.2
        for <caml-list@inria.fr>; Thu, 09 Apr 2009 01:42:07 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:received:received:subject:from:to:content-type
         :date:message-id:mime-version:x-mailer:content-transfer-encoding;
        bh=IQqz/AsgSkSWOTvIyYSBxm7HHqKMQhh72vD2TXUJ90c=;
        b=TJignHnWUi7YSCh+Nl0OWh5wlPwwCL/Ny5x17eNxpeF41ga+elvdLjvqWVsrjXA6Q0
         slDDCyRYWXcj3bUIqx3WS0Y5BAYizDFOEKFz41sBCawdTW7ZJzO4Wc/i1K4n9GdEbY7R
         R6ZcyGA0oH5QbBphVT7SrNXJzkRvl8oWailms=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=subject:from:to:content-type:date:message-id:mime-version:x-mailer
         :content-transfer-encoding;
        b=QAhISjQhaeJ6qBiL/uTm0Pu0Z79P2jm7MUMdVDzU9a/CXaq8X57wqPeaIskMb0f23F
         rPEBkhHo3VScGrfp3hgE6w6k3S5v7ZVcSyXhY0tUx8haeM6ZtzS60DZPkjdQviEXpp60
         CE0dPkopsAhOFa9Rie6lw71ddYkmrVAlM7RB8=
Received: by 10.86.89.20 with SMTP id m20mr1726969fgb.52.1239266527269;
        Thu, 09 Apr 2009 01:42:07 -0700 (PDT)
Received: from ?192.168.21.130? ([91.202.164.106])
        by mx.google.com with ESMTPS id d4sm751921fga.3.2009.04.09.01.42.06
        (version=SSLv3 cipher=RC4-MD5);
        Thu, 09 Apr 2009 01:42:06 -0700 (PDT)
Subject: class type param constraint
From: Radzevich Belevich <radzevich.belevich@gmail.com>
To: Caml List <caml-list@inria.fr>
Content-Type: text/plain
Date: Thu, 09 Apr 2009 12:42:06 +0400
Message-Id: <1239266526.2787.5.camel@serphost.localdomain>
Mime-Version: 1.0
X-Mailer: Evolution 2.24.5 
Content-Transfer-Encoding: 7bit
X-Spam: no; 0.00; constraint:01 constraint:01 int:01 int:01 object:09 object:09 end:12 end:12 methods:12 type:14 type:14 method:17 method:17 self:21 self:21 

class [ 'c ] a = 
  object(self)                  
    constraint 'c = < .. >
    method as_c =  (self :> 'c)
    method id = Oo.id self
  end          ;;
class ['a] a :
  object ('a)
    constraint 'a = < as_c : 'a; id : int; .. >
    method as_c : 'a
    method id : int
  end
================

Why type 'c must have methods "as_c" and "id" ?