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