package GT

You can search for identifiers within the package.

in-package search v0.2.0

Generic programming with extensible transformations

Install

sha256=58aa091948383ffa6c452b89880becae980ae32cc3a4969fe1c636e46810db69

sha512=ee878ba4c2ee16f5b77f4b4e98664d53e91b7a710b9162905b9a43118a03e9c0d7b378a13e104e16a84556bca1176026d93f11934d69eecb459b771e9340ffd7

type t = MLast.class_str_item

val method_concrete : 
  loc:MLast.loc ->
  string ->
  MLast.expr ->
  MLast.class_str_item

val method_virtual : 
  loc:MLast.loc ->
  string ->
  MLast.ctyp ->
  MLast.class_str_item

val inherit_ : 
  loc:MLast.loc ->
  ?as_:string option ->
  MLast.class_expr ->
  MLast.class_str_item

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