package archetype

  1. Overview
  2. Docs
val pp_str : Format.formatter -> string -> unit
val pp_with_paren : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a -> unit
val pp_no_paren : ('a -> 'b) -> 'c -> 'd
val pp_currency : Format.formatter -> Ast.currency -> unit
val pp_vtyp : Format.formatter -> Ast.vtyp -> unit
val pp_container : Format.formatter -> Ast.container -> unit
val pp_logical_operator : Format.formatter -> Ast.logical_operator -> unit
val pp_comparison_operator : Format.formatter -> Ast.comparison_operator -> unit
val pp_arithmetic_operator : Format.formatter -> Ast.arithmetic_operator -> unit
val pp_unary_arithmetic_operator : Format.formatter -> Ast.unary_arithmetic_operator -> unit
val pp_assignment_operator : Format.formatter -> Ast.assignment_operator -> unit
val pp_operator : Format.formatter -> [< `Arith of Ast.arithmetic_operator | `Assign of Ast.assignment_operator | `Cmp of Ast.comparison_operator | `Logical of Ast.logical_operator | `Unary of Ast.unary_arithmetic_operator ] -> unit
val pp_quantifier : Format.formatter -> Ast.quantifier -> unit
val to_const : Ast.const -> string
val pp_security_role : Format.formatter -> string Location.loced -> unit
val pp_action_description : Format.formatter -> Ast.action_description -> unit
val pp_instruction_poly : ('a -> 'b Ast.instruction_node -> 'c) -> 'd -> 'b Ast.instruction_poly -> 'e
val pp_security : Format.formatter -> Ast.security -> unit
val pp_sexpr : Format.formatter -> Ast.sexpr -> unit
val pp_ast : Format.formatter -> Ast.model -> unit
val string_of__of_pp : (Format.formatter -> 'a -> unit) -> 'b -> string
val show_model : Ast.model -> string
OCaml

Innovation. Community. Security.