package links
val pos : SourceCode.Position.t -> SourceCode.Position.tval with_pos : SourceCode.Position.t -> 'a -> 'a SourceCode.WithPos.tval dp : SourceCode.Position.tval with_dummy_pos : 'a -> 'a SourceCode.WithPos.tval fresh_type_variable : CommonTypes.Freedom.t -> Sugartypes.SugarTypeVar.ttype signature =
(CommonTypes.Name.t SourceCode.WithPos.t * Sugartypes.datatype')
SourceCode.WithPos.t
optionval var :
?ppos:SourceCode.Position.t ->
CommonTypes.Name.t ->
Sugartypes.phraseval freeze_var :
?ppos:SourceCode.Position.t ->
CommonTypes.Name.t ->
Sugartypes.phraseval block :
?ppos:SourceCode.Position.t ->
Sugartypes.block_body ->
Sugartypes.phraseval block_node : Sugartypes.block_body -> Sugartypes.phrasenodeval datatype :
Sugartypes.Datatype.with_pos ->
Sugartypes.Datatype.with_pos * 'a optionval cp_unit : SourceCode.Position.t -> Sugartypes.cp_phraseval record :
?ppos:SourceCode.Position.t ->
?exp:Sugartypes.phrase ->
(CommonTypes.Name.t * Sugartypes.phrase) list ->
Sugartypes.phraseval tuple :
?ppos:SourceCode.Position.t ->
Sugartypes.phrase list ->
Sugartypes.phraseval orderby_tuple :
?ppos:SourceCode.Position.t ->
Sugartypes.phrase list ->
Sugartypes.phraseval list :
?ppos:SourceCode.Position.t ->
?ty:Types.datatype ->
Sugartypes.phrase list ->
Sugartypes.phraseval constructor :
?ppos:SourceCode.Position.t ->
?body:Sugartypes.phrase ->
?ty:Types.datatype ->
CommonTypes.Name.t ->
Sugartypes.phraseval type_abstraction :
?ppos:SourceCode.Position.t ->
Sugartypes.SugarQuantifier.t list ->
Sugartypes.phrase ->
Sugartypes.phraseval constant :
?ppos:SourceCode.Position.t ->
CommonTypes.Constant.t ->
Sugartypes.phraseval constant_str : ?ppos:SourceCode.Position.t -> string -> Sugartypes.phraseval constant_char : ?ppos:SourceCode.Position.t -> char -> Sugartypes.phraseval binder :
?ppos:SourceCode.Position.t ->
?ty:Types.datatype ->
CommonTypes.Name.t ->
Sugartypes.Binder.with_posval import :
?ppos:SourceCode.Position.t ->
?pollute:bool ->
CommonTypes.Name.t list ->
Sugartypes.bindingval variable_pat :
?ppos:SourceCode.Position.t ->
?ty:Types.datatype ->
CommonTypes.Name.t ->
Sugartypes.Pattern.with_posval tuple_pat :
?ppos:SourceCode.Position.t ->
Sugartypes.Pattern.with_pos list ->
Sugartypes.Pattern.with_posval any_pat : SourceCode.Position.t -> Sugartypes.Pattern.with_posval present : Sugartypes.Datatype.fieldspecval row_with_wp : Sugartypes.Datatype.row -> Sugartypes.Datatype.rowval hear_arrow_prefix :
Sugartypes.Datatype.with_pos ->
Sugartypes.Datatype.row ->
Sugartypes.Datatype.rowval fun_lit :
?ppos:SourceCode.Position.t ->
?args:(Types.datatype * Types.row) list ->
?location:CommonTypes.Location.t ->
CommonTypes.DeclaredLinearity.t ->
Sugartypes.Pattern.with_pos list list ->
Sugartypes.phrase ->
Sugartypes.phraseval switch_fun_lit :
?ppos:SourceCode.Position.t ->
?args:(Types.datatype * Types.row) list ->
?location:CommonTypes.Location.t ->
CommonTypes.DeclaredLinearity.t ->
Sugartypes.Pattern.with_pos list list ->
Sugartypes.switch_funlit_body ->
Sugartypes.phraseval spawn :
?ppos:SourceCode.Position.t ->
?row:Types.row ->
Sugartypes.spawn_kind ->
Sugartypes.given_spawn_location ->
Sugartypes.phrase ->
Sugartypes.phraseval fn_appl_node :
?ppos:SourceCode.Position.t ->
CommonTypes.Name.t ->
Sugartypes.tyarg list ->
Sugartypes.phrase list ->
Sugartypes.phrasenodeval fn_appl :
?ppos:SourceCode.Position.t ->
CommonTypes.Name.t ->
Sugartypes.tyarg list ->
Sugartypes.phrase list ->
Sugartypes.phraseval fn_appl_var :
?ppos:SourceCode.Position.t ->
CommonTypes.Name.t ->
CommonTypes.Name.t ->
Sugartypes.phraseval fun_binding :
?ppos:SourceCode.Position.t ->
signature ->
?unsafe_sig:bool ->
((CommonTypes.DeclaredLinearity.t * bool)
* CommonTypes.Name.t
* Sugartypes.Pattern.with_pos list list
* CommonTypes.Location.t
* Sugartypes.phrase) ->
Sugartypes.bindingval fun_binding' :
?ppos:SourceCode.Position.t ->
?linearity:CommonTypes.DeclaredLinearity.t ->
?tyvars:Sugartypes.SugarQuantifier.t list ->
?location:CommonTypes.Location.t ->
?annotation:Sugartypes.datatype' ->
Sugartypes.Binder.with_pos ->
Sugartypes.funlit ->
Sugartypes.bindingval switch_fun_binding :
?ppos:SourceCode.Position.t ->
signature ->
?unsafe_sig:bool ->
((CommonTypes.DeclaredLinearity.t * bool)
* CommonTypes.Name.t
* Sugartypes.Pattern.with_pos list list
* CommonTypes.Location.t
* Sugartypes.switch_funlit_body) ->
Sugartypes.bindingval val_binding' :
?ppos:SourceCode.Position.t ->
signature ->
(name_or_pat * Sugartypes.phrase * CommonTypes.Location.t) ->
Sugartypes.bindingval val_binding :
?ppos:SourceCode.Position.t ->
Sugartypes.Pattern.with_pos ->
Sugartypes.phrase ->
Sugartypes.bindingval module_binding :
?ppos:SourceCode.Position.t ->
Sugartypes.Binder.with_pos ->
Sugartypes.binding list ->
Sugartypes.bindingval db_exps :
?ppos:SourceCode.Position.t ->
(CommonTypes.Name.t * Sugartypes.phrase) list ->
Sugartypes.phraseval db_insert :
?ppos:SourceCode.Position.t ->
Sugartypes.temporal_insertion option ->
Sugartypes.phrase ->
CommonTypes.Name.t list ->
Sugartypes.phrase ->
string option ->
Sugartypes.phraseval query :
?ppos:SourceCode.Position.t ->
(Sugartypes.phrase * Sugartypes.phrase) option ->
CommonTypes.QueryPolicy.t ->
Sugartypes.phrase ->
Sugartypes.phraseval temporal_join :
?ppos:SourceCode.Position.t ->
CommonTypes.Temporality.t ->
Sugartypes.phrase ->
Sugartypes.phraseval infix_appl' :
?ppos:SourceCode.Position.t ->
Sugartypes.phrase ->
Operators.BinaryOp.t ->
Sugartypes.phrase ->
Sugartypes.phraseval infix_appl :
?ppos:SourceCode.Position.t ->
Sugartypes.phrase ->
string ->
Sugartypes.phrase ->
Sugartypes.phraseval unary_appl :
?ppos:SourceCode.Position.t ->
Operators.UnaryOp.t ->
Sugartypes.phrase ->
Sugartypes.phraseval validate_xml : ?tags:(string * string) -> Sugartypes.phrase -> unitval 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.phraseval untyped_handler :
?val_cases:Sugartypes.clause list ->
?parameters:(Sugartypes.Pattern.with_pos * Sugartypes.phrase) list ->
Sugartypes.phrase ->
Sugartypes.clause list ->
Sugartypes.handler_depth ->
Sugartypes.handlerval table :
?ppos:SourceCode.Position.t ->
tbl_keys:Sugartypes.phrase option ->
Sugartypes.phrase ->
Sugartypes.Datatype.with_pos ->
(CommonTypes.Name.t * Sugartypes.fieldconstraint list) list ->
(CommonTypes.Temporality.t * (string * string)) option ->
Sugartypes.phrase ->
Sugartypes.phrase