package archetype

  1. Overview
  2. Docs
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_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_div : int * Printer_tools.assoc
val e_modulo : 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 pp_container : Core.Format.formatter -> ParseTree.container -> 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 : [< `Arith of ParseTree.arithmetic_operator | `Cmp of ParseTree.comparison_operator | `Logical of ParseTree.logical_operator | `Unary of ParseTree.unary_operator ] -> string
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_qualid : Core.Format.formatter -> ParseTree.qualid -> unit
val quantifier_to_str : ParseTree.quantifier -> string
val pp_quantifier : Core.Format.formatter -> ParseTree.quantifier -> unit
val string_of_scope : ParseTree.scope -> string
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_fun_ident_typ : Core.Format.formatter -> ParseTree.lident_typ -> unit
val pp_fun_args : Core.Format.formatter -> ParseTree.lident_typ list -> unit
val pp_extensions : Core.Format.formatter -> ParseTree.exts -> 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_value_option : Core.Format.formatter -> ParseTree.value_option -> unit
val pp_asset_option : Core.Format.formatter -> ParseTree.asset_option -> unit
val pp_signature : Core.Format.formatter -> ParseTree.signature -> 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.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_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_security : Core.Format.formatter -> (ParseTree.security_item list * ParseTree.exts) -> unit
val pp_action_properties : Core.Format.formatter -> ParseTree.action_properties -> unit
val string_of__of_pp : (Core.Format.formatter -> 'a -> unit) -> 'a -> string
val type_to_str : ParseTree.type_r Location.loced -> string
val declaration_to_str : ParseTree.declaration_unloc Location.loced -> string
val archetype_to_str : ParseTree.archetype_unloc Location.loced -> string
OCaml

Innovation. Community. Security.