links

The Links Programming Language
IN THIS PACKAGE
method string : string -> 'self
method option : 'a. ( 'self -> 'a -> 'self ) -> 'a option -> 'self
method list : 'a. ( 'self -> 'a -> 'self ) -> 'a list -> 'self
method int : int -> 'self
method float : float -> 'self
method char : char -> 'self
method timestamp : Links_core.CommonTypes.Timestamp.t -> 'self
method bool : bool -> 'self
method unary_op : Links_core.Operators.UnaryOp.t -> 'self
method tyunary_op : (Links_core.Sugartypes.tyarg list * Links_core.Operators.UnaryOp.t) -> 'self
method binder : Links_core.Sugartypes.Binder.with_pos -> 'self
method sentence : Links_core.Sugartypes.sentence -> 'self
method section : Links_core.Operators.Section.t -> 'self
method subkind : Links_core.CommonTypes.Subkind.t -> 'self
method kind : Links_core.Sugartypes.kind -> 'self
method freedom : Links_core.CommonTypes.Freedom.t -> 'self
method type_variable : Links_core.Sugartypes.SugarTypeVar.t -> 'self
method quantifier : Links_core.Sugartypes.SugarQuantifier.t -> 'self
method row_var : Links_core.Sugartypes.Datatype.row_var -> 'self
method replace_rhs : Links_core.Sugartypes.replace_rhs -> 'self
method regexflag : Links_core.Operators.regexflag -> 'self
method regex : Links_core.Sugartypes.regex -> 'self
method position : Links_core.SourceCode.Position.t -> 'self
method given_spawn_location : Links_core.Sugartypes.given_spawn_location -> 'self
method temporal_update : Links_core.Sugartypes.temporal_update -> 'self
method temporal_deletion : Links_core.Sugartypes.temporal_deletion -> 'self
method phrasenode : Links_core.Sugartypes.phrasenode -> 'self
method phrase : Links_core.Sugartypes.phrase -> 'self
method cp_phrasenode : Links_core.Sugartypes.cp_phrasenode -> 'self
method cp_phrase : Links_core.Sugartypes.cp_phrase -> 'self
method patternnode : Links_core.Sugartypes.Pattern.t -> 'self
method pattern : Links_core.Sugartypes.Pattern.with_pos -> 'self
method foreign_language : Links_core.CommonTypes.ForeignLanguage.t -> 'self
method name : Links_core.CommonTypes.Name.t -> 'self
method location : Links_core.CommonTypes.Location.t -> 'self
method iterpatt : Links_core.Sugartypes.iterpatt -> 'self
method funlit : Links_core.Sugartypes.funlit -> 'self
method handle_params : Links_core.Sugartypes.handler_parameterisation -> 'self
method fieldspec : Links_core.Sugartypes.Datatype.fieldspec -> 'self
method fieldconstraint : Links_core.Sugartypes.fieldconstraint -> 'self
method directive : Links_core.Sugartypes.directive -> 'self
method datatype : Links_core.Sugartypes.Datatype.with_pos -> 'self
method datatypenode : Links_core.Sugartypes.Datatype.t -> 'self
method datatype' : Links_core.Sugartypes.datatype' -> 'self
method type_arg : Links_core.Sugartypes.Datatype.type_arg -> 'self
method type_arg' : Links_core.Sugartypes.type_arg' -> 'self
method constant : Links_core.CommonTypes.Constant.t -> 'self
method binop : Links_core.Operators.BinaryOp.t -> 'self
method bindingnode : Links_core.Sugartypes.bindingnode -> 'self
method binding : Links_core.Sugartypes.binding -> 'self
method typenamenode : Links_core.Sugartypes.typenamenode -> 'self
method typename : Links_core.Sugartypes.typename -> 'self
method function_definition : Links_core.Sugartypes.function_definition -> 'self
method recursive_function : Links_core.Sugartypes.recursive_function -> 'self
method recursive_functionnode : Links_core.Sugartypes.recursive_functionnode -> 'self
method program : Links_core.Sugartypes.program -> 'self
method unknown : 'a. 'a -> 'self