links

The Links Programming Language
IN THIS PACKAGE
val with_pos : SourceCode.Position.t -> 'a -> 'a SourceCode.WithPos.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 orderby_tuple : ?ppos:SourceCode.Position.t -> Sugartypes.phrase list -> Sugartypes.phrase
val constant_str : ?ppos:SourceCode.Position.t -> string -> Sugartypes.phrase
val constant_char : ?ppos:SourceCode.Position.t -> char -> Sugartypes.phrase
val import : ?ppos:SourceCode.Position.t -> ?pollute:bool -> CommonTypes.Name.t list -> Sugartypes.binding
val validate_xml : ?tags:(string * string) -> Sugartypes.phrase -> unit
val xml : ?ppos:SourceCode.Position.t -> ?tags:(string * string) -> CommonTypes.Name.t -> (CommonTypes.Name.t * Sugartypes.phrase list) list -> Sugartypes.phrase option -> Sugartypes.phrase list -> Sugartypes.phrase