links 0.9.2 · OCaml Package

method binder : Links_core.Sugartypes.Binder.with_pos ->
  'self * Links_core.Sugartypes.Binder.with_pos

method binding : Links_core.Sugartypes.binding ->
  'self * Links_core.Sugartypes.binding

method bindingnode : Links_core.Sugartypes.bindingnode ->
  'self * Links_core.Sugartypes.bindingnode

method typenamenode : Links_core.Sugartypes.typenamenode ->
  'self * Links_core.Sugartypes.typenamenode

method typename : Links_core.Sugartypes.typename ->
  'self * Links_core.Sugartypes.typename

method binop : Links_core.Operators.BinaryOp.t ->
  'self * Links_core.Operators.BinaryOp.t

method tybinop : (Links_core.Sugartypes.tyarg list
                  * Links_core.Operators.BinaryOp.t) ->
  'self * (Links_core.Sugartypes.tyarg list * Links_core.Operators.BinaryOp.t)

method bool : bool -> 'self * bool

method char : char -> 'self * char

method constant : Links_core.CommonTypes.Constant.t ->
  'self * Links_core.CommonTypes.Constant.t

method datatype : Links_core.Sugartypes.Datatype.with_pos ->
  'self * Links_core.Sugartypes.Datatype.with_pos

method datatypenode : Links_core.Sugartypes.Datatype.t ->
  'self * Links_core.Sugartypes.Datatype.t

method datatype' : Links_core.Sugartypes.datatype' ->
  'self * Links_core.Sugartypes.datatype'

method type_arg' : Links_core.Sugartypes.type_arg' ->
  'self * Links_core.Sugartypes.type_arg'

method directive : Links_core.Sugartypes.directive ->
  'self * Links_core.Sugartypes.directive

method fieldconstraint : Links_core.Sugartypes.fieldconstraint ->
  'self * Links_core.Sugartypes.fieldconstraint

method fieldspec : Links_core.Sugartypes.Datatype.fieldspec ->
  'self * Links_core.Sugartypes.Datatype.fieldspec

method int : int -> 'self * int

method float : float -> 'self * float

method funlit : Links_core.Sugartypes.funlit ->
  'self * Links_core.Sugartypes.funlit

method handle_params : Links_core.Sugartypes.handler_parameterisation ->
  'self * Links_core.Sugartypes.handler_parameterisation

method iterpatt : Links_core.Sugartypes.iterpatt ->
  'self * Links_core.Sugartypes.iterpatt

method list : 'a. ('self -> 'a -> 'self * 'a) -> 'a list -> 'self * 'a list

method location : Links_core.CommonTypes.Location.t ->
  'self * Links_core.CommonTypes.Location.t

method foreign_language : Links_core.CommonTypes.ForeignLanguage.t ->
  'self * Links_core.CommonTypes.ForeignLanguage.t

method name : Links_core.CommonTypes.Name.t ->
  'self * Links_core.CommonTypes.Name.t

method option : 'a. ('self -> 'a -> 'self * 'a) ->
  'a option ->
  'self * 'a option

method patternnode : Links_core.Sugartypes.Pattern.t ->
  'self * Links_core.Sugartypes.Pattern.t

method pattern : Links_core.Sugartypes.Pattern.with_pos ->
  'self * Links_core.Sugartypes.Pattern.with_pos

method phrase : Links_core.Sugartypes.phrase ->
  'self * Links_core.Sugartypes.phrase

method given_spawn_location : Links_core.Sugartypes.given_spawn_location ->
  'self * Links_core.Sugartypes.given_spawn_location

method phrasenode : Links_core.Sugartypes.phrasenode ->
  'self * Links_core.Sugartypes.phrasenode

method cp_phrasenode : Links_core.Sugartypes.cp_phrasenode ->
  'self * Links_core.Sugartypes.cp_phrasenode

method cp_phrase : Links_core.Sugartypes.cp_phrase ->
  'self * Links_core.Sugartypes.cp_phrase

method position : Links_core.SourceCode.Position.t ->
  'self * Links_core.SourceCode.Position.t

method program : Links_core.Sugartypes.program ->
  'self * Links_core.Sugartypes.program

method regex : Links_core.Sugartypes.regex ->
  'self * Links_core.Sugartypes.regex

method regexflag : Links_core.Operators.regexflag ->
  'self * Links_core.Operators.regexflag

method replace_rhs : Links_core.Sugartypes.replace_rhs ->
  'self * Links_core.Sugartypes.replace_rhs

method row : Links_core.Sugartypes.Datatype.row ->
  'self * Links_core.Sugartypes.Datatype.row

method row_var : Links_core.Sugartypes.Datatype.row_var ->
  'self * Links_core.Sugartypes.Datatype.row_var

method section : Links_core.Operators.Section.t ->
  'self * Links_core.Operators.Section.t

method sentence : Links_core.Sugartypes.sentence ->
  'self * Links_core.Sugartypes.sentence

method string : Links_core.CommonTypes.Name.t ->
  'self * Links_core.CommonTypes.Name.t

method subkind : Links_core.CommonTypes.Subkind.t ->
  'self * Links_core.CommonTypes.Subkind.t

method kind : Links_core.Sugartypes.kind -> 'self * Links_core.Sugartypes.kind

method freedom : Links_core.CommonTypes.Freedom.t ->
  'self * Links_core.CommonTypes.Freedom.t

method quantifier : Links_core.Sugartypes.SugarQuantifier.t ->
  'self * Links_core.Sugartypes.SugarQuantifier.t

method type_variable : Links_core.Sugartypes.SugarTypeVar.t ->
  'self * Links_core.Sugartypes.SugarTypeVar.t

method typ : Links_core.Types.datatype -> 'self * Links_core.Types.datatype

method type_row : Links_core.Types.row -> 'self * Links_core.Types.row

method type_arg : Links_core.Sugartypes.Datatype.type_arg ->
  'self * Links_core.Sugartypes.Datatype.type_arg

method type_field_spec : Links_core.Types.field_spec ->
  'self * Links_core.Types.field_spec

method tyarg : Links_core.Types.type_arg -> 'self * Links_core.Types.type_arg

method tyunary_op : (Links_core.Sugartypes.tyarg list
                     * Links_core.Operators.UnaryOp.t) ->
  'self * (Links_core.Sugartypes.tyarg list * Links_core.Operators.UnaryOp.t)

method unary_op : Links_core.Operators.UnaryOp.t ->
  'self * Links_core.Operators.UnaryOp.t

method function_definition : Links_core.Sugartypes.function_definition ->
  'self * Links_core.Sugartypes.function_definition

method recursive_function : Links_core.Sugartypes.recursive_function ->
  'self * Links_core.Sugartypes.recursive_function

method recursive_functionnode : Links_core.Sugartypes.recursive_functionnode ->
  'self * Links_core.Sugartypes.recursive_functionnode

method unknown : 'a. 'a -> 'self * 'a

package links