Module `Archetype.Printer_pt`Source

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_equiv : int * Printer_tools.assoc

Sourceval e_and : int * Printer_tools.assoc

Sourceval e_or : 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_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 pp_id : Core.Format.formatter -> Printer_tools.lident -> unit

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

Sourceval pp_type : Core.Format.formatter -> ParseTree.type_r Location.loced -> 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 quantifier_to_str : ParseTree.quantifier -> string

Sourceval pp_quantifier : Core.Format.formatter -> ParseTree.quantifier -> 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_r Location.loced * ParseTree.exts) ->
  unit

Source

val pp_ident_quant : 
  Core.Format.formatter ->
  (Printer_tools.lident * ParseTree.type_r Location.loced * ParseTree.exts) ->
  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.record_item list ->
  unit

Source

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

Source

val pp_extension : 
  Core.Format.formatter ->
  ParseTree.extension_unloc Location.loced ->
  unit

Sourceval pp_extensions : Core.Format.formatter -> ParseTree.exts -> unit

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

Sourceval pp_ext_args : Core.Format.formatter -> ParseTree.expr list -> 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_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_label_expr : Core.Format.formatter -> ParseTree.label_expr -> unit

Sourceval pp_label_exprs : Core.Format.formatter -> ParseTree.label_expr list -> unit

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

Source

val pp_ident_state : 
  Core.Format.formatter ->
  (Printer_tools.lident * 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

Source

val pp_specification_item : 
  Core.Format.formatter ->
  ParseTree.specification_item_unloc ->
  unit

Source

val pp_specification_items : 
  Core.Format.formatter ->
  ParseTree.specification_item_unloc list ->
  unit

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

Source

val pp_spec : 
  Core.Format.formatter ->
  (ParseTree.specification_item_unloc Location.loced list * ParseTree.exts) ->
  unit

Source

val pp_security_arg : 
  Core.Format.formatter ->
  ParseTree.security_arg_unloc Location.loced ->
  unit

Source

val pp_security : 
  Core.Format.formatter ->
  (ParseTree.security_item list * ParseTree.exts) ->
  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 * ParseTree.exts) option
   * (ParseTree.expr * ParseTree.exts) option) ->
  unit

Source

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

Source

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

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

Sourceval type_to_str : ParseTree.type_r Location.loced -> string

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

Sourceval archetype_to_str : ParseTree.archetype_unloc Location.loced -> string

Install

Dune Dependency

Authors

Maintainers

Sources

doc/archetype/Archetype/Printer_pt/index.html

Module `Archetype.Printer_pt`Source

package archetype

Install

Dune Dependency

Authors

Maintainers

Sources

doc/archetype/Archetype/Printer_pt/index.html

Module Archetype.Printer_ptSource

Module `Archetype.Printer_pt`Source