package GT

You can search for identifiers within the package.

in-package search v0.2.0

Generic programming with extensible transformations

Install

sha256=d23fb8e20ca28ec9ae07feee45b39aee8fb87ab11ec55211e2365f2c5a1c4ccf

sha512=0ade04e78a4d8e24acf24d3e4cdf358532d68284fa8e801b25bdf21c3c0483bb97d1350e86abcf9f93efec870b07f0f067a5dccae81686b14265baab3a4e7c13

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