package GT

You can search for identifiers within the package.

in-package search v0.2.0

Generic programming with extensible transformations

Install

md5=9d18b96ada4d18fdda0b5f5698273145

sha512=945070bea4322bf8f7932a259af91432a3c109a05294ba2a27c1c2e9d2796ffb4cc32f6b8e28ff465311277696296ddda531a2ce818e590c09c64c5721d65e19

Sourcetype t = MLast.class_sig_item

val constraint_ : 
  loc:MLast.loc ->
  MLast.ctyp ->
  MLast.ctyp ->
  MLast.class_sig_item

val method_ : 
  loc:MLast.loc ->
  ?virt:bool ->
  string ->
  MLast.ctyp ->
  MLast.class_sig_item

Sourceval inherit_ : loc:MLast.loc -> MLast.class_type -> MLast.class_sig_item