package GT

You can search for identifiers within the package.

in-package search v0.2.0

Generic programming with extensible transformations

Install

dune-project

Dependency

sha256=4b4d220fc64f2d508a77d229c61ec199308f4f6182c19543c96842749bb9ac3c

sha512=f295b48b23016743111867b746c97cfedccd6f32497a0a5df454fcd7f66338404604fbdfaad44210f34b56a4aca0a3f96de5cc6427191468a567128850d380c4

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