package p5scm

  1. Overview
  2. Docs
val flag_add_locations : bool ref
val flag_comments_in_phrases : bool ref
val flag_equilibrate_cases : bool ref
val flag_expand_letop_syntax : bool ref
val flag_extensions_are_irrefutable : bool ref
val flag_horiz_let_in : bool ref
val flag_semi_semi : bool ref
val pr_attribute_body : MLast.attribute_body Eprinter.t
val error : Ploc.t -> string -> 'a
val is_infix : string -> bool
val has_special_chars : string -> bool
val ocaml_char : string -> string
val is_irrefut_patt : MLast.patt -> bool
val get_defined_ident : MLast.patt -> string list
val not_impl : string -> Pprintf.pr_context -> 'a -> string
val expand_lprintf : Pprintf.pr_context -> Ploc.t -> (Pprintf.pr_context -> string) -> string
val var_escaped : Pprintf.pr_context -> (Ploc.t * string) -> string
val cons_escaped : Pprintf.pr_context -> ('a * string) -> string
val mod_ident : Pprintf.pr_context -> (Ploc.t * string list) -> string
val comma_after : (Pprintf.pr_context -> 'a -> 'b) -> Pprintf.pr_context -> 'c -> 'd
val semi_after : (Pprintf.pr_context -> 'a -> 'b) -> Pprintf.pr_context -> 'c -> 'd
val semi_semi_after : (Pprintf.pr_context -> 'a -> 'b) -> Pprintf.pr_context -> 'c -> 'd
val op_after : (Pprintf.pr_context -> 'a -> 'b) -> Pprintf.pr_context -> ('c * string) -> 'd
val and_before : (Pprintf.pr_context -> 'a -> 'b) -> Pprintf.pr_context -> 'c -> 'd
val bar_before : (Pprintf.pr_context -> 'a -> 'b) -> Pprintf.pr_context -> 'c -> 'd
val andop_before : (Pprintf.pr_context -> (string * 'a) -> 'b) -> Pprintf.pr_context -> (string * 'a) -> 'c
val operator : Pprintf.pr_context -> (Pprintf.pr_context -> 'a -> string) -> (Pprintf.pr_context -> 'b -> string) -> 'c -> ('d * string) -> 'e -> 'f -> string
val left_operator : Pprintf.pr_context -> 'a -> int -> ('b -> ('c * string * 'd) option) -> 'e Prtools.pr_fun -> 'f -> string
val right_operator : Pprintf.pr_context -> 'a -> int -> ('b -> ('c * string * 'd) option) -> 'e Prtools.pr_fun -> 'f -> string
val uidopt_to_maybe_blank : string Ploc.vala option -> string
val expr : Eprinter.pr_context -> MLast.expr -> string
val patt : Eprinter.pr_context -> MLast.patt -> string
val ctyp : Eprinter.pr_context -> MLast.ctyp -> string
val ctyp_below_alg_attribute : Eprinter.pr_context -> MLast.ctyp -> string
val str_item : Eprinter.pr_context -> MLast.str_item -> string
val sig_item : Eprinter.pr_context -> MLast.sig_item -> string
val longident : Eprinter.pr_context -> MLast.longid -> string
val module_expr : Eprinter.pr_context -> MLast.module_expr -> string
val module_type : Eprinter.pr_context -> MLast.module_type -> string
val module_type_level_sig : Eprinter.pr_context -> MLast.module_type -> string
val expr_fun_args : MLast.expr -> MLast.patt list * MLast.expr
val simple_patt : Eprinter.pr_context -> MLast.patt -> string
val expr1 : Eprinter.pr_context -> MLast.expr -> string
val attribute_body : Eprinter.pr_context -> MLast.attribute_body -> string
val pr_attribute : string -> Pprintf.pr_context -> MLast.attribute_body Ploc.vala -> string
val pr_extension : string -> Pprintf.pr_context -> MLast.attribute_body Ploc.vala -> string
val longident_lident : Pprintf.pr_context -> (MLast.longid Ploc.vala option * string Ploc.vala) -> string
val comm_bef : Prtools.pr_context -> MLast.loc -> string
val only_spaces : string -> bool
val strip_heading_spaces : string -> string
val strip_char : 'a -> string -> string
val comm_expr : (Prtools.pr_context -> MLast.expr -> string) -> Prtools.pr_context -> MLast.expr -> string
val comm_patt_any : (Prtools.pr_context -> (MLast.patt * 'a) -> string) -> Prtools.pr_context -> (MLast.patt * 'a) -> string
val patt_as : Eprinter.pr_context -> MLast.patt -> string
val label_patt : Pprintf.pr_context -> MLast.patt -> string
val binding : (Pprintf.pr_context -> 'a -> string) -> (Pprintf.pr_context -> 'b -> string) -> Pprintf.pr_context -> ('c * 'd * MLast.attribute_body Ploc.vala list Ploc.vala) -> string
val record_binding : bool -> Pprintf.pr_context -> (MLast.patt * MLast.expr) -> string
val is_polytype_constraint : MLast.patt -> bool
val expr_semi : Prtools.pr_context -> (MLast.expr * bool) -> string
val expr_with_comm_except_if_sequence : Eprinter.pr_context -> MLast.expr -> string
val letop_binding : Prtools.pr_context -> ('a * (MLast.patt * MLast.expr * MLast.attribute_body Ploc.vala list Ploc.vala)) -> string
val match_assoc : bool -> Prtools.pr_context -> ((MLast.patt * MLast.expr option Ploc.vala * MLast.expr) * bool) -> string
val match_assoc_sh : bool -> Prtools.pr_context -> ((MLast.patt * MLast.expr option Ploc.vala * MLast.expr) * bool) -> string
val match_assoc_list : 'a -> Pprintf.pr_context -> (MLast.patt * MLast.expr option Ploc.vala * MLast.expr) list -> string
val raise_match_failure : Eprinter.pr_context -> MLast.loc -> string
val make_expr_list : MLast.expr -> MLast.expr list * MLast.expr option
val make_patt_list : MLast.patt -> MLast.patt list * MLast.patt option
val type_var : Pprintf.pr_context -> string -> string
val tv_or_blank : Pprintf.pr_context -> string option -> string
val type_param : Pprintf.pr_context -> ('a * (string option Ploc.vala * (bool option * bool))) -> string
val type_constraint : Pprintf.pr_context -> (MLast.ctyp * MLast.ctyp) -> string
val type_params : Pprintf.pr_context -> ('a * (string option Ploc.vala * (bool option * bool)) list) -> string
val mem_tvar : 'a -> ('b option Ploc.vala * 'c) list -> bool
val type_decl : Prtools.pr_context -> MLast.type_decl -> string
val label_decl : Pprintf.pr_context -> ('a * string * bool * MLast.ctyp * MLast.attribute_body Ploc.vala list Ploc.vala) -> string
val typevars_binder : Pprintf.pr_context -> string list -> string
val cons_decl : Pprintf.pr_context -> ('a * string Ploc.vala * string list Ploc.vala * MLast.ctyp list Ploc.vala * MLast.ctyp option Ploc.vala * MLast.attribute_body Ploc.vala list Ploc.vala) -> string
val extension_constructor : Ploc.t -> Pprintf.pr_context -> MLast.extension_constructor -> string
val has_ecs_with_params : MLast.extension_constructor list -> bool
val extension_constructors : Ploc.t -> Pprintf.pr_context -> MLast.extension_constructor list -> string
val type_extension : Ploc.t -> Prtools.pr_context -> MLast.type_extension -> string
val has_cons_with_params : ('a * 'b * 'c * 'd list Ploc.vala * 'e * 'f) list -> bool
val alone_in_line : Prtools.pr_context -> bool
val equality_threshold : float
val are_close : ('a -> string) -> 'b -> 'c -> bool
val get_else_if : MLast.expr -> (MLast.expr * MLast.expr) list * MLast.expr
val if_then : bool -> (Pprintf.pr_context -> MLast.expr -> string) -> Pprintf.pr_context -> (MLast.expr * MLast.expr) -> string
val else_if_then : bool -> (Pprintf.pr_context -> MLast.expr -> string) -> Pprintf.pr_context -> (MLast.expr * MLast.expr) -> string
val loop_else_if_no_else : bool -> (Pprintf.pr_context -> MLast.expr -> string) -> Pprintf.pr_context -> (MLast.expr * MLast.expr) list -> string
val loop_else_if_and_else : bool -> (Pprintf.pr_context -> MLast.expr -> string) -> Pprintf.pr_context -> ((MLast.expr * MLast.expr) list * MLast.expr) -> string
val if_case_has_vertic : (Prtools.pr_context -> MLast.expr -> string) -> Prtools.pr_context -> MLast.expr -> MLast.expr -> (MLast.expr * MLast.expr) list -> MLast.expr -> bool
val expr_short : Eprinter.pr_context -> MLast.expr -> string
val flatten_sequ : MLast.expr -> MLast.expr list option
val lident : Pprintf.pr_context -> string -> string
val string : Pprintf.pr_context -> string -> string
val external_decl : Pprintf.pr_context -> (Ploc.t * string * string list * MLast.ctyp * string list * MLast.attribute_body Ploc.vala list) -> string
val exception_decl : Pprintf.pr_context -> (Ploc.t * string * MLast.ctyp list * string list * MLast.attribute_body Ploc.vala list * MLast.attribute_body Ploc.vala list) -> string
val functor_parameter_unvala : ('a Ploc.vala option Ploc.vala * 'b) option -> ('c option * 'd) option
val str_module : string -> Prtools.pr_context -> (string option * MLast.module_expr * MLast.attribute_body Ploc.vala list Ploc.vala) -> string
val sig_module_or_module_type : string -> bool -> string -> Prtools.pr_context -> (string option * MLast.module_type * MLast.attribute_body Ploc.vala list Ploc.vala) -> string
val str_or_sig_functor : Pprintf.pr_context -> (string option * MLast.module_type) option -> (Pprintf.pr_context -> 'a -> string) -> 'b -> string
val con_typ_pat : Pprintf.pr_context -> ('a * (MLast.longid Ploc.vala option * string Ploc.vala) * (string option Ploc.vala * (bool option * bool)) list) -> string
val with_constraint : Pprintf.pr_context -> MLast.with_constr -> string
val is_unary : string -> bool
val unary : (string -> bool) -> (Pprintf.pr_context -> MLast.expr -> 'a) -> Pprintf.pr_context -> MLast.expr -> 'b
val map_option : ('a -> 'b) -> 'c option -> 'd option
val pr_letlike : string -> Prtools.pr_context -> Ploc.t -> bool -> (string * (MLast.patt * MLast.expr * MLast.attribute_body Ploc.vala list Ploc.vala)) list -> MLast.expr -> string
val space_before : (Pprintf.pr_context -> 'a -> 'b) -> Pprintf.pr_context -> 'c -> 'd
val or_before : (Pprintf.pr_context -> 'a -> 'b) -> Pprintf.pr_context -> 'c -> 'd
val amp_after : (Pprintf.pr_context -> 'a -> 'b) -> Pprintf.pr_context -> 'c -> 'd
val option : (Pprintf.pr_context -> 'a -> string) -> Pprintf.pr_context -> 'b option -> string
val sep : string option ref
val output_string_eval : out_channel -> string -> unit
val apply_printer : (Prtools.pr_context -> 'a -> string) -> (('b * Ploc.t) list * Ploc.t) -> unit
val is_uppercase : char -> bool
val set_flags : string -> unit
val default_flag : unit -> string
val class_expr : Eprinter.pr_context -> MLast.class_expr -> string
val class_type : Eprinter.pr_context -> MLast.class_type -> string
val class_str_item : Eprinter.pr_context -> MLast.class_str_item -> string
val class_sig_item : Eprinter.pr_context -> MLast.class_sig_item -> string
val amp_before : (Pprintf.pr_context -> 'a -> 'b) -> Pprintf.pr_context -> 'c -> 'd
val class_type_params : Pprintf.pr_context -> ('a * (string option Ploc.vala * (bool option * bool)) list) -> string
val class_type_decl : Pprintf.pr_context -> MLast.class_type MLast.class_infos -> string
val class_type_decl_list : Pprintf.pr_context -> 'a -> MLast.class_type MLast.class_infos list -> string
val class_type_opt : Pprintf.pr_context -> MLast.class_type option -> string
val variant_decl : Eprinter.pr_context -> MLast.poly_variant -> string
val bquote_ident : Pprintf.pr_context -> string -> string
val variant_decl_list : string -> 'a -> Pprintf.pr_context -> MLast.poly_variant list -> string list -> string
val field : Pprintf.pr_context -> (string option * MLast.ctyp * MLast.attribute_body Ploc.vala list Ploc.vala) -> string
val field_expr : Pprintf.pr_context -> (string * MLast.expr) -> string
val patt_tcon : Eprinter.pr_context -> MLast.patt -> string
val typevar : Pprintf.pr_context -> string -> string
val class_object : 'a -> Pprintf.pr_context -> (MLast.patt option * MLast.class_str_item list) -> string
val simple_expr : Eprinter.pr_context -> MLast.expr -> string
val label_ipatt_eq_patt : (Pprintf.pr_context -> 'a -> string) -> Pprintf.pr_context -> (MLast.patt * 'b option Ploc.vala) -> string
val sig_method_or_method_virtual : Pprintf.pr_context -> string -> bool -> string -> MLast.ctyp -> MLast.attribute_body Ploc.vala list Ploc.vala -> string
val poly_type : Eprinter.pr_context -> MLast.ctyp -> string
val label_ipatt : (Pprintf.pr_context -> 'a -> string) -> Pprintf.pr_context -> (MLast.patt * 'b option Ploc.vala) -> string
val pr_o : MLast.str_item -> string