Module Archetype.Printer_pt

val is_keyword : string -> bool
val e_equal_greater : int * Printer_tools.assoc
val e_in : int * Printer_tools.assoc
val e_to : int * Printer_tools.assoc
val e_other : int * Printer_tools.assoc
val e_then : int * Printer_tools.assoc
val e_else : int * Printer_tools.assoc
val e_comma : int * Printer_tools.assoc
val e_semi_colon : int * Printer_tools.assoc
val e_colon : int * Printer_tools.assoc
val e_assign_simple : int * Printer_tools.assoc
val e_assign_plus : int * Printer_tools.assoc
val e_assign_minus : int * Printer_tools.assoc
val e_assign_mult : int * Printer_tools.assoc
val e_assign_div : int * Printer_tools.assoc
val e_assign_and : int * Printer_tools.assoc
val e_assign_or : int * Printer_tools.assoc
val e_opspec1 : int * Printer_tools.assoc
val e_opspec2 : int * Printer_tools.assoc
val e_opspec3 : int * Printer_tools.assoc
val e_opspec4 : int * Printer_tools.assoc
val e_imply : int * Printer_tools.assoc
val e_equiv : int * Printer_tools.assoc
val e_and : int * Printer_tools.assoc
val e_or : int * Printer_tools.assoc
val e_xor : int * Printer_tools.assoc
val e_equal : int * Printer_tools.assoc
val e_nequal : int * Printer_tools.assoc
val e_gt : int * Printer_tools.assoc
val e_ge : int * Printer_tools.assoc
val e_lt : int * Printer_tools.assoc
val e_le : int * Printer_tools.assoc
val e_plus : int * Printer_tools.assoc
val e_minus : int * Printer_tools.assoc
val e_mult : int * Printer_tools.assoc
val e_divrat : int * Printer_tools.assoc
val e_modulo : int * Printer_tools.assoc
val e_divmod : int * Printer_tools.assoc
val e_three_way_cmp : int * Printer_tools.assoc
val e_left_shift : int * Printer_tools.assoc
val e_right_shift : int * Printer_tools.assoc
val e_diveuc : int * Printer_tools.assoc
val e_not : int * Printer_tools.assoc
val e_dot : int * Printer_tools.assoc
val e_coloncolon : int * Printer_tools.assoc
val e_app : int * Printer_tools.assoc
val e_for : int * Printer_tools.assoc
val e_tuple : int * Printer_tools.assoc
val e_default : int * Printer_tools.assoc
val e_simple : int * Printer_tools.assoc
val get_prec_from_operator : ParseTree.operator -> int * Printer_tools.assoc
val get_prec_from_assignment_operator : ParseTree.assignment_operator -> int * Printer_tools.assoc
val container_to_str : ParseTree.container -> string
val is_percent_prefix : string -> bool
val string_of_id : Ident.ident -> string
val pp_id : Core.Format.formatter -> Printer_tools.lident -> unit
val pp_container : Core.Format.formatter -> ParseTree.container -> unit
val pp_type : Core.Format.formatter -> ParseTree.type_t -> unit
val logical_operator_to_str : ParseTree.logical_operator -> string
val comparison_operator_to_str : ParseTree.comparison_operator -> string
val arithmetic_operator_to_str : ParseTree.arithmetic_operator -> string
val unary_operator_to_str : ParseTree.unary_operator -> string
val operator_to_str : ParseTree.operator -> string
val pp_operator : Core.Format.formatter -> ParseTree.operator -> unit
val assignment_operator_extra_to_str : ParseTree.assignment_operator -> string
val assignment_operator_record_to_str : ParseTree.assignment_operator -> string
val assignment_operator_expr_to_str : ParseTree.assignment_operator -> string
val pp_assignment_operator_record : Core.Format.formatter -> ParseTree.assignment_operator -> unit
val pp_assignment_operator_expr : Core.Format.formatter -> ParseTree.assignment_operator -> unit
val quantifier_to_str : ParseTree.quantifier -> string
val pp_quantifier : Core.Format.formatter -> ParseTree.quantifier -> unit
val pp_pname : Core.Format.formatter -> ParseTree.pname -> unit
val pp_pattern : Core.Format.formatter -> ParseTree.pattern_unloc Location.loced -> unit
val string_of_scope : ParseTree.scope -> string
val pp_expr : (int * Printer_tools.assoc) -> Printer_tools.pos -> Core.Format.formatter -> ParseTree.expr_unloc Location.loced -> unit
val pp_else : Core.Format.formatter -> ParseTree.expr option -> unit
val pp_literal : Core.Format.formatter -> ParseTree.literal -> unit
val pp_ident_ident : Core.Format.formatter -> (Printer_tools.lident option * Printer_tools.lident) -> unit
val pp_ident_typ : Core.Format.formatter -> (Printer_tools.lident * ParseTree.type_t * ParseTree.exts) -> unit
val pp_ident_quant : Core.Format.formatter -> (Printer_tools.lident * ParseTree.type_t * ParseTree.exts) -> unit
val pp_fun_ident_typ : Core.Format.formatter -> ParseTree.lident_typ -> unit
val pp_fun_args : Core.Format.formatter -> ParseTree.lident_typ list -> unit
val pp_record_expr_internal : Core.Format.formatter -> ParseTree.record_item list -> unit
val pp_field : Core.Format.formatter -> ParseTree.field_unloc Location.loced -> unit
val pp_extension : Core.Format.formatter -> ParseTree.extension_unloc Location.loced -> unit
val pp_extensions : Core.Format.formatter -> ParseTree.exts -> unit
val pp_simple_expr : Core.Format.formatter -> ParseTree.expr -> unit
val pp_ext_args : Core.Format.formatter -> ParseTree.expr list -> unit
val pp_to : Core.Format.formatter -> (Printer_tools.lident * ParseTree.expr option * ParseTree.expr option) -> unit
val pp_specification_variable : Core.Format.formatter -> (Printer_tools.lident * ParseTree.type_t * ParseTree.expr option) Location.loced -> unit
val pp_asset_option : Core.Format.formatter -> ParseTree.asset_option -> unit
val operation_enum_to_str : ParseTree.asset_operation_enum -> string
val pp_asset_operation_enum : Core.Format.formatter -> ParseTree.asset_operation_enum -> unit
val pp_asset_operation : Core.Format.formatter -> ParseTree.asset_operation -> unit
val pp_label_expr : Core.Format.formatter -> ParseTree.label_expr -> unit
val pp_label_exprs : Core.Format.formatter -> ParseTree.label_expr list -> unit
val pp_enum_option : Core.Format.formatter -> ParseTree.enum_option -> unit
val pp_ident_state : Core.Format.formatter -> (Printer_tools.lident * ParseTree.type_t list * ParseTree.enum_option list) -> unit
val pp_asset_post_option : Core.Format.formatter -> ParseTree.asset_post_option -> unit
val map_option : ('a -> unit) -> 'a option -> unit
val pp_invariant : Core.Format.formatter -> (Printer_tools.lident * ParseTree.expr_unloc Location.loced list) -> unit
val pp_invariants : Core.Format.formatter -> (Printer_tools.lident * ParseTree.expr_unloc Location.loced list) list -> unit
val pp_use : Core.Format.formatter -> Printer_tools.lident list -> unit
val pp_pc_ci : Core.Format.formatter -> (string * Printer_tools.lident * ParseTree.expr_unloc Location.loced * (Printer_tools.lident * ParseTree.expr_unloc Location.loced list) list * Printer_tools.lident list) -> unit
val pp_postcondition : Core.Format.formatter -> (Printer_tools.lident * ParseTree.expr_unloc Location.loced * (Printer_tools.lident * ParseTree.expr_unloc Location.loced list) list * Printer_tools.lident list) -> unit
val pp_contractinvariant : Core.Format.formatter -> (Printer_tools.lident * ParseTree.expr_unloc Location.loced * (Printer_tools.lident * ParseTree.expr_unloc Location.loced list) list * Printer_tools.lident list) -> unit
val pp_assert : Core.Format.formatter -> (Printer_tools.lident * ParseTree.expr_unloc Location.loced * (Printer_tools.lident * ParseTree.expr_unloc Location.loced list) list * Printer_tools.lident list) -> unit
val pp_specification_item : Core.Format.formatter -> ParseTree.specification_item_unloc -> unit
val pp_specification_items : Core.Format.formatter -> ParseTree.specification_item_unloc list -> unit
val pp_function : Core.Format.formatter -> ParseTree.s_function -> unit
val pp_spec : Core.Format.formatter -> (ParseTree.specification_item_unloc Location.loced list * ParseTree.exts) -> unit
val pp_security_arg : Core.Format.formatter -> ParseTree.security_arg_unloc Location.loced -> unit
val pp_security : Core.Format.formatter -> (ParseTree.security_item list * ParseTree.exts) -> unit
val pp_entry_properties : Core.Format.formatter -> ParseTree.entry_properties -> unit
val pp_transition : Core.Format.formatter -> (Printer_tools.lident * (ParseTree.expr_unloc Location.loced * ParseTree.exts) option * (ParseTree.expr * ParseTree.exts) option) -> unit
val pp_parameter : Core.Format.formatter -> (Printer_tools.lident * ParseTree.type_t * ParseTree.expr option) -> unit
val pp_parameters : Core.Format.formatter -> (Printer_tools.lident * ParseTree.type_t * ParseTree.expr option) Location.loced list Location.loced option -> unit
val pp_declaration : Core.Format.formatter -> ParseTree.declaration_unloc Location.loced -> unit
val pp_archetype : Core.Format.formatter -> ParseTree.archetype_unloc Location.loced -> unit
val string_of__of_pp : (Core.Format.formatter -> 'a -> unit) -> 'a -> string
val type_to_str : ParseTree.type_t -> string
val declaration_to_str : ParseTree.declaration_unloc Location.loced -> string
val archetype_to_str : ParseTree.archetype_unloc Location.loced -> string