package links

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

method set_refresh_tyvars : bool -> 'self_type

method set_rec_vars : meta_type_var Links_core.Utility.IntMap.t -> 'self_type

method primitive : Links_core.CommonTypes.Primitive.t ->
  'self_type * Links_core.CommonTypes.Primitive.t

method list : ('self_type -> 'a -> 'self_type * 'b) ->
  'a list ->
  'self_type * 'b list

method type_args : type_arg list -> 'self_type * type_arg list

method typ : typ -> 'self_type * typ

method row : row -> 'self_type * row

method row_var : row_var -> 'self_type * row_var

method meta_type_var : meta_type_var -> 'self_type * meta_type_var

method meta_row_var : meta_row_var -> 'self_type * meta_row_var

method meta_presence_var : meta_presence_var -> 'self_type * meta_presence_var

method field_spec : field_spec -> 'self_type * field_spec

method field_spec_map : field_spec_map -> 'self_type * field_spec_map

method quantifier : Links_core.CommonTypes.Quantifier.t ->
  'self_type * Links_core.CommonTypes.Quantifier.t

method type_arg : type_arg -> 'self_type * type_arg