package links
val check :
[< `Formlet | `Page | `Xml Formlet Page ] ->
Links_core__SourceCode.Position.t ->
Sugartypes.phrasenode ->
unitval 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
; 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 'bmodule Untyped : sig ... end