links

The Links Programming Language
IN THIS PACKAGE
type t
val with_pos : t -> 'a -> 'a SourceCode.WithPos.t
val dp : 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 var : ?ppos:t -> CommonTypes.Name.t -> Sugartypes.phrase
val freeze_var : ?ppos:t -> CommonTypes.Name.t -> Sugartypes.phrase
val block : ?ppos:t -> Sugartypes.block_body -> Sugartypes.phrase
val cp_unit : t -> Sugartypes.cp_phrase
val tuple : ?ppos:t -> Sugartypes.phrase list -> Sugartypes.phrase
val orderby_tuple : ?ppos:t -> Sugartypes.phrase list -> Sugartypes.phrase
val list : ?ppos:t -> ?ty:Types.datatype -> Sugartypes.phrase list -> Sugartypes.phrase
val constructor : ?ppos:t -> ?body:Sugartypes.phrase -> ?ty:Types.datatype -> CommonTypes.Name.t -> Sugartypes.phrase
val type_abstraction : ?ppos:t -> Sugartypes.SugarQuantifier.t list -> Sugartypes.phrase -> Sugartypes.phrase
val constant : ?ppos:t -> CommonTypes.Constant.t -> Sugartypes.phrase
val constant_str : ?ppos:t -> string -> Sugartypes.phrase
val constant_char : ?ppos:t -> char -> Sugartypes.phrase
val import : ?ppos:t -> ?pollute:bool -> CommonTypes.Name.t list -> Sugartypes.binding
val variable_pat : ?ppos:t -> ?ty:Types.datatype -> CommonTypes.Name.t -> Sugartypes.Pattern.with_pos
val fn_appl_node : ?ppos:t -> CommonTypes.Name.t -> Sugartypes.tyarg list -> Sugartypes.phrase list -> Sugartypes.phrasenode
val fn_appl : ?ppos:t -> CommonTypes.Name.t -> Sugartypes.tyarg list -> Sugartypes.phrase list -> Sugartypes.phrase
val fn_appl_var : ?ppos:t -> CommonTypes.Name.t -> CommonTypes.Name.t -> Sugartypes.phrase
val module_binding : ?ppos:t -> Sugartypes.Binder.with_pos -> Sugartypes.binding list -> Sugartypes.binding
val db_exps : ?ppos:t -> (CommonTypes.Name.t * Sugartypes.phrase) list -> Sugartypes.phrase
val db_insert : ?ppos:t -> Sugartypes.temporal_insertion option -> Sugartypes.phrase -> CommonTypes.Name.t list -> Sugartypes.phrase -> string option -> Sugartypes.phrase
val infix_appl : ?ppos:t -> Sugartypes.phrase -> string -> Sugartypes.phrase -> Sugartypes.phrase
val validate_xml : ?tags:(string * string) -> Sugartypes.phrase -> unit
val xml : ?ppos:t -> ?tags:(string * string) -> CommonTypes.Name.t -> (CommonTypes.Name.t * Sugartypes.phrase list) list -> Sugartypes.phrase option -> Sugartypes.phrase list -> Sugartypes.phrase