package links

  1. Overview
  2. Docs
val pos : unit -> SourceCode.Position.t
val with_pos : unit -> 'a -> 'a SourceCode.WithPos.t
val dp : unit
val with_dummy_pos : 'a -> 'a SourceCode.WithPos.t
type name_or_pat =
  1. | PatName of CommonTypes.Name.t
  2. | Pat of Sugartypes.Pattern.with_pos
val var : ?ppos:unit -> CommonTypes.Name.t -> Sugartypes.phrase
val freeze_var : ?ppos:unit -> CommonTypes.Name.t -> Sugartypes.phrase
val block : ?ppos:unit -> Sugartypes.block_body -> Sugartypes.phrase
val cp_unit : unit -> Sugartypes.cp_phrase
val record : ?ppos:unit -> ?exp:Sugartypes.phrase -> (CommonTypes.Name.t * Sugartypes.phrase) list -> Sugartypes.phrase
val tuple : ?ppos:unit -> Sugartypes.phrase list -> Sugartypes.phrase
val orderby_tuple : ?ppos:unit -> Sugartypes.phrase list -> Sugartypes.phrase
val list : ?ppos:unit -> ?ty:Types.datatype -> Sugartypes.phrase list -> Sugartypes.phrase
val constructor : ?ppos:unit -> ?body:Sugartypes.phrase -> ?ty:Types.datatype -> CommonTypes.Name.t -> Sugartypes.phrase
val constant : ?ppos:unit -> CommonTypes.Constant.t -> Sugartypes.phrase
val constant_str : ?ppos:unit -> string -> Sugartypes.phrase
val constant_char : ?ppos:unit -> char -> Sugartypes.phrase
val binder : ?ppos:unit -> ?ty:Types.datatype -> CommonTypes.Name.t -> Sugartypes.Binder.with_pos
val import : ?ppos:unit -> ?pollute:bool -> CommonTypes.Name.t list -> Sugartypes.binding
val variable_pat : ?ppos:unit -> ?ty:Types.datatype -> CommonTypes.Name.t -> Sugartypes.Pattern.with_pos
val tuple_pat : ?ppos:unit -> Sugartypes.Pattern.with_pos list -> Sugartypes.Pattern.with_pos
val any_pat : unit -> Sugartypes.Pattern.with_pos
val fn_appl_node : ?ppos:unit -> CommonTypes.Name.t -> Sugartypes.tyarg list -> Sugartypes.phrase list -> Sugartypes.phrasenode
val fn_appl : ?ppos:unit -> CommonTypes.Name.t -> Sugartypes.tyarg list -> Sugartypes.phrase list -> Sugartypes.phrase
val fn_appl_var : ?ppos:unit -> CommonTypes.Name.t -> CommonTypes.Name.t -> Sugartypes.phrase
val module_binding : ?ppos:unit -> Sugartypes.Binder.with_pos -> Sugartypes.binding list -> Sugartypes.binding
val db_exps : ?ppos:unit -> (CommonTypes.Name.t * Sugartypes.phrase) list -> Sugartypes.phrase
val db_insert : ?ppos:unit -> Sugartypes.phrase -> CommonTypes.Name.t list -> Sugartypes.phrase -> string option -> Sugartypes.phrase
val infix_appl : ?ppos:unit -> Sugartypes.phrase -> string -> Sugartypes.phrase -> Sugartypes.phrase
val unary_appl : ?ppos:unit -> Operators.UnaryOp.t -> Sugartypes.phrase -> Sugartypes.phrase
val validate_xml : ?tags:(string * string) -> Sugartypes.phrase -> unit
val xml : ?ppos:unit -> ?tags:(string * string) -> CommonTypes.Name.t -> (CommonTypes.Name.t * Sugartypes.phrase list) list -> Sugartypes.phrase option -> Sugartypes.phrase list -> Sugartypes.phrase
OCaml

Innovation. Community. Security.