links

The Links Programming Language
IN THIS PACKAGE

Parameters

module Position : Pos

Signature

val with_pos : Position.t -> 'a -> 'a SourceCode.WithPos.t
val dp : Position.t
val with_dummy_pos : 'a -> 'a SourceCode.WithPos.t
type name_or_pat =
| PatName of CommonTypes.Name.t
| Pat of Sugartypes.Pattern.with_pos
val freeze_var : ?ppos:Position.t -> CommonTypes.Name.t -> Sugartypes.phrase
val tuple : ?ppos:Position.t -> Sugartypes.phrase list -> Sugartypes.phrase
val orderby_tuple : ?ppos:Position.t -> Sugartypes.phrase list -> Sugartypes.phrase
val constant_str : ?ppos:Position.t -> string -> Sugartypes.phrase
val constant_char : ?ppos:Position.t -> char -> Sugartypes.phrase
val import : ?ppos:Position.t -> ?pollute:bool -> CommonTypes.Name.t list -> Sugartypes.binding
val infix_appl : ?ppos:Position.t -> Sugartypes.phrase -> string -> Sugartypes.phrase -> Sugartypes.phrase
val validate_xml : ?tags:(string * string) -> Sugartypes.phrase -> unit
val xml : ?ppos:Position.t -> ?tags:(string * string) -> CommonTypes.Name.t -> (CommonTypes.Name.t * Sugartypes.phrase list) list -> Sugartypes.phrase option -> Sugartypes.phrase list -> Sugartypes.phrase