package links

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val check : 
  [< `Formlet | `Page | `Xml Formlet Page ] ->
  Links_core__SourceCode.Position.t ->
  Sugartypes.phrasenode ->
  unit

val checker : 
  < binder : Sugartypes.Binder.with_pos -> 'c
  ; binding : Sugartypes.binding -> 'c
  ; bindingnode : Sugartypes.bindingnode -> 'c
  ; binop : Operators.BinaryOp.t -> 'c
  ; bool : bool -> 'c
  ; char : char -> 'c
  ; constant : CommonTypes.Constant.t -> 'c
  ; cp_phrase : Sugartypes.cp_phrase -> 'c
  ; cp_phrasenode : Sugartypes.cp_phrasenode -> 'c
  ; datatype : Sugartypes.Datatype.with_pos -> 'c
  ; datatype' : Sugartypes.datatype' -> 'c
  ; datatypenode : Sugartypes.Datatype.t -> 'c
  ; directive : Sugartypes.directive -> 'c
  ; fieldconstraint : Sugartypes.fieldconstraint -> 'c
  ; fieldspec : Sugartypes.Datatype.fieldspec -> 'c
  ; float : float -> 'c
  ; foreign_language : CommonTypes.ForeignLanguage.t -> 'c
  ; freedom : CommonTypes.Freedom.t -> 'c
  ; function_definition : Sugartypes.function_definition -> 'c
  ; funlit : Sugartypes.funlit -> 'c
  ; given_spawn_location : Sugartypes.given_spawn_location -> 'c
  ; handle_params : Sugartypes.handler_parameterisation -> 'c
  ; int : int -> 'c
  ; iterpatt : Sugartypes.iterpatt -> 'c
  ; kind : Sugartypes.kind -> 'c
  ; list : 'a. ('c -> 'a -> 'c) -> 'a list -> 'c
  ; location : CommonTypes.Location.t -> 'c
  ; name : CommonTypes.Name.t -> 'c
  ; option : 'a. ('c -> 'a -> 'c) -> 'a option -> 'c
  ; pattern : Sugartypes.Pattern.with_pos -> 'c
  ; patternnode : Sugartypes.Pattern.t -> 'c
  ; phrase : Sugartypes.phrase -> 'c
  ; phrasenode : Sugartypes.phrasenode -> 'c
  ; position : SourceCode.Position.t -> 'c
  ; program : Sugartypes.program -> 'c
  ; quantifier : Sugartypes.SugarQuantifier.t -> 'c
  ; recursive_function : Sugartypes.recursive_function -> 'c
  ; recursive_functionnode : Sugartypes.recursive_functionnode -> 'c
  ; regex : Sugartypes.regex -> 'c
  ; regexflag : Operators.regexflag -> 'c
  ; replace_rhs : Sugartypes.replace_rhs -> 'c
  ; row : Sugartypes.Datatype.row -> 'c
  ; row_var : Sugartypes.Datatype.row_var -> 'c
  ; section : Operators.Section.t -> 'c
  ; sentence : Sugartypes.sentence -> 'c
  ; set_mode : [ `Exp | `Quasi ] -> 'd
  ; string : string -> 'c
  ; subkind : CommonTypes.Subkind.t -> 'c
  ; temporal_deletion : Sugartypes.temporal_deletion -> 'c
  ; temporal_update : Sugartypes.temporal_update -> 'c
  ; timestamp : CommonTypes.Timestamp.t -> 'c
  ; tybinop : (Sugartypes.tyarg list * Operators.BinaryOp.t) -> 'c
  ; type_arg : Sugartypes.Datatype.type_arg -> 'c
  ; type_arg' : Sugartypes.type_arg' -> 'c
  ; type_variable : Sugartypes.SugarTypeVar.t -> 'c
  ; typename : Sugartypes.typename -> 'c
  ; typenamenode : Sugartypes.typenamenode -> 'c
  ; tyunary_op : (Sugartypes.tyarg list * Operators.UnaryOp.t) -> 'c
  ; unary_op : Operators.UnaryOp.t -> 'c
  ; unknown : 'a. 'a -> 'c > as 'b

module Untyped : sig ... end