links

The Links Programming Language
IN THIS PACKAGE
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