archetype 1.5.2 (latest) · OCaml Package

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

val e_xor : int * Printer_tools.assoc

val e_and : 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 skip_keyword : string -> bool

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_id_scope : Core.Format.formatter -> ParseTree.id_scope -> unit

val pp_lid : 
  Core.Format.formatter ->
  (ParseTree.id_scope * Printer_tools.lident) ->
  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 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_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) ->
  unit

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

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

val pp_simple_expr : Core.Format.formatter -> ParseTree.expr -> 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_map_kind : Core.Format.formatter -> ParseTree.map_kind -> 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_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_function : Core.Format.formatter -> ParseTree.s_function -> 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 option
   * ParseTree.expr option) ->
  unit

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

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

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

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

val pp_archetype : 
  Core.Format.formatter ->
  ParseTree.declaration_unloc Location.loced list 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.declaration_unloc Location.loced list Location.loced ->
  string

package archetype