Module `Archetype.Printer_pt`Source

Sourceval is_keyword : string -> bool

Sourceval e_equal_greater : int * Printer_tools.assoc

Sourceval e_in : int * Printer_tools.assoc

Sourceval e_to : int * Printer_tools.assoc

Sourceval e_other : int * Printer_tools.assoc

Sourceval e_then : int * Printer_tools.assoc

Sourceval e_else : int * Printer_tools.assoc

Sourceval e_comma : int * Printer_tools.assoc

Sourceval e_semi_colon : int * Printer_tools.assoc

Sourceval e_colon : int * Printer_tools.assoc

Sourceval e_assign_simple : int * Printer_tools.assoc

Sourceval e_assign_plus : int * Printer_tools.assoc

Sourceval e_assign_minus : int * Printer_tools.assoc

Sourceval e_assign_mult : int * Printer_tools.assoc

Sourceval e_assign_div : int * Printer_tools.assoc

Sourceval e_assign_and : int * Printer_tools.assoc

Sourceval e_assign_or : int * Printer_tools.assoc

Sourceval e_opspec1 : int * Printer_tools.assoc

Sourceval e_opspec2 : int * Printer_tools.assoc

Sourceval e_opspec3 : int * Printer_tools.assoc

Sourceval e_opspec4 : int * Printer_tools.assoc

Sourceval e_imply : int * Printer_tools.assoc

Sourceval e_or : int * Printer_tools.assoc

Sourceval e_xor : int * Printer_tools.assoc

Sourceval e_and : int * Printer_tools.assoc

Sourceval e_equal : int * Printer_tools.assoc

Sourceval e_nequal : int * Printer_tools.assoc

Sourceval e_gt : int * Printer_tools.assoc

Sourceval e_ge : int * Printer_tools.assoc

Sourceval e_lt : int * Printer_tools.assoc

Sourceval e_le : int * Printer_tools.assoc

Sourceval e_plus : int * Printer_tools.assoc

Sourceval e_minus : int * Printer_tools.assoc

Sourceval e_mult : int * Printer_tools.assoc

Sourceval e_divrat : int * Printer_tools.assoc

Sourceval e_modulo : int * Printer_tools.assoc

Sourceval e_divmod : int * Printer_tools.assoc

Sourceval e_three_way_cmp : int * Printer_tools.assoc

Sourceval e_left_shift : int * Printer_tools.assoc

Sourceval e_right_shift : int * Printer_tools.assoc

Sourceval e_diveuc : int * Printer_tools.assoc

Sourceval e_not : int * Printer_tools.assoc

Sourceval e_dot : int * Printer_tools.assoc

Sourceval e_coloncolon : int * Printer_tools.assoc

Sourceval e_app : int * Printer_tools.assoc

Sourceval e_for : int * Printer_tools.assoc

Sourceval e_tuple : int * Printer_tools.assoc

Sourceval e_default : int * Printer_tools.assoc

Sourceval e_simple : int * Printer_tools.assoc

Sourceval get_prec_from_operator : ParseTree.operator -> int * Printer_tools.assoc

Source

val get_prec_from_assignment_operator : 
  ParseTree.assignment_operator ->
  int * Printer_tools.assoc

Sourceval container_to_str : ParseTree.container -> string

Sourceval skip_keyword : string -> bool

Sourceval is_percent_prefix : string -> bool

Sourceval string_of_id : Ident.ident -> string

Sourceval pp_id : Core.Format.formatter -> Printer_tools.lident -> unit

Sourceval pp_container : Core.Format.formatter -> ParseTree.container -> unit

Sourceval pp_id_scope : Core.Format.formatter -> ParseTree.id_scope -> unit

Source

val pp_lid : 
  Core.Format.formatter ->
  (ParseTree.id_scope * Printer_tools.lident) ->
  unit

Sourceval pp_type : Core.Format.formatter -> ParseTree.type_t -> unit

Sourceval logical_operator_to_str : ParseTree.logical_operator -> string

Sourceval comparison_operator_to_str : ParseTree.comparison_operator -> string

Sourceval arithmetic_operator_to_str : ParseTree.arithmetic_operator -> string

Sourceval unary_operator_to_str : ParseTree.unary_operator -> string

Sourceval operator_to_str : ParseTree.operator -> string

Sourceval pp_operator : Core.Format.formatter -> ParseTree.operator -> unit

Sourceval assignment_operator_extra_to_str : ParseTree.assignment_operator -> string

Sourceval assignment_operator_record_to_str : ParseTree.assignment_operator -> string

Sourceval assignment_operator_expr_to_str : ParseTree.assignment_operator -> string

Source

val pp_assignment_operator_record : 
  Core.Format.formatter ->
  ParseTree.assignment_operator ->
  unit

Source

val pp_assignment_operator_expr : 
  Core.Format.formatter ->
  ParseTree.assignment_operator ->
  unit

Sourceval pp_pname : Core.Format.formatter -> ParseTree.pname -> unit

Source

val pp_pattern : 
  Core.Format.formatter ->
  ParseTree.pattern_unloc Location.loced ->
  unit

Sourceval string_of_scope : ParseTree.scope -> string

Source

val pp_expr : 
  (int * Printer_tools.assoc) ->
  Printer_tools.pos ->
  Core.Format.formatter ->
  ParseTree.expr_unloc Location.loced ->
  unit

Sourceval pp_else : Core.Format.formatter -> ParseTree.expr option -> unit

Sourceval pp_literal : Core.Format.formatter -> ParseTree.literal -> unit

Source

val pp_ident_ident : 
  Core.Format.formatter ->
  (Printer_tools.lident option * Printer_tools.lident) ->
  unit

Source

val pp_ident_typ : 
  Core.Format.formatter ->
  (Printer_tools.lident * ParseTree.type_t) ->
  unit

Source

val pp_ident_quant : 
  Core.Format.formatter ->
  (Printer_tools.lident * ParseTree.type_t) ->
  unit

Sourceval pp_fun_ident_typ : Core.Format.formatter -> ParseTree.lident_typ -> unit

Sourceval pp_fun_args : Core.Format.formatter -> ParseTree.lident_typ list -> unit

Source

val pp_record_expr_internal : 
  Core.Format.formatter ->
  (ParseTree.id_scope * ParseTree.record_item list) ->
  unit

Source

val pp_field : 
  Core.Format.formatter ->
  ParseTree.field_unloc Location.loced ->
  unit

Sourceval pp_simple_expr : Core.Format.formatter -> ParseTree.expr -> unit

Source

val pp_to : 
  Core.Format.formatter ->
  (Printer_tools.lident * ParseTree.expr option * ParseTree.expr option) ->
  unit

Source

val pp_specification_variable : 
  Core.Format.formatter ->
  (Printer_tools.lident * ParseTree.type_t * ParseTree.expr option)
    Location.loced ->
  unit

Sourceval pp_map_kind : Core.Format.formatter -> ParseTree.map_kind -> unit

Sourceval pp_asset_option : Core.Format.formatter -> ParseTree.asset_option -> unit

Sourceval operation_enum_to_str : ParseTree.asset_operation_enum -> string

Source

val pp_asset_operation_enum : 
  Core.Format.formatter ->
  ParseTree.asset_operation_enum ->
  unit

Source

val pp_asset_operation : 
  Core.Format.formatter ->
  ParseTree.asset_operation ->
  unit

Sourceval pp_enum_option : Core.Format.formatter -> ParseTree.enum_option -> unit

Source

val pp_ident_state : 
  Core.Format.formatter ->
  (Printer_tools.lident * ParseTree.type_t list * ParseTree.enum_option list) ->
  unit

Source

val pp_asset_post_option : 
  Core.Format.formatter ->
  ParseTree.asset_post_option ->
  unit

Sourceval map_option : ('a -> unit) -> 'a option -> unit

Source

val pp_invariant : 
  Core.Format.formatter ->
  (Printer_tools.lident * ParseTree.expr_unloc Location.loced list) ->
  unit

Source

val pp_invariants : 
  Core.Format.formatter ->
  (Printer_tools.lident * ParseTree.expr_unloc Location.loced list) list ->
  unit

Sourceval pp_use : Core.Format.formatter -> Printer_tools.lident list -> unit

Source

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

Source

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

Source

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

Source

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

Sourceval pp_function : Core.Format.formatter -> ParseTree.s_function -> unit

Source

val pp_entry_properties : 
  Core.Format.formatter ->
  ParseTree.entry_properties ->
  unit

Source

val pp_transition : 
  Core.Format.formatter ->
  (Printer_tools.lident
   * ParseTree.expr_unloc Location.loced option
   * ParseTree.expr option) ->
  unit

Source

val pp_parameter : 
  Core.Format.formatter ->
  (Printer_tools.lident * ParseTree.type_t * ParseTree.expr option * bool) ->
  unit

Source

val pp_parameters : 
  Core.Format.formatter ->
  (Printer_tools.lident * ParseTree.type_t * ParseTree.expr option * bool)
    Location.loced
    list
    Location.loced
    option ->
  unit

Sourceval pp_metadata : Core.Format.formatter -> ParseTree.metadata -> unit

Source

val pp_declaration : 
  Core.Format.formatter ->
  ParseTree.declaration_unloc Location.loced ->
  unit

Source

val pp_archetype : 
  Core.Format.formatter ->
  ParseTree.declaration_unloc Location.loced list Location.loced ->
  unit

Sourceval string_of__of_pp : (Core.Format.formatter -> 'a -> unit) -> 'a -> string

Sourceval type_to_str : ParseTree.type_t -> string

Sourceval declaration_to_str : ParseTree.declaration_unloc Location.loced -> string

Source

val archetype_to_str : 
  ParseTree.declaration_unloc Location.loced list Location.loced ->
  string

package archetype

Module Archetype.Printer_ptSource

Module `Archetype.Printer_pt`Source