FMT (cobol_ptree.Cobol

Manual prettty-printing for terms

val pp_boolean : Cobol_ptree__.Numericals.boolean Pretty.printer

val pp_term : 'k. 'k Cobol_ptree__.Terms.term Pretty.printer

val pp_figurative : 'k. 'k Cobol_ptree__.Terms.figurative Pretty.printer

val pp_subscript : Cobol_ptree__.Terms.subscript Fmt.t

val pp_refmod : Stdlib.Format.formatter -> Cobol_ptree__.Terms.refmod -> unit

val pp_qualident : 
  Stdlib.Format.formatter ->
  Cobol_ptree__.Terms.qualident ->
  unit

val pp_qualname : 
  [ Cobol_ptree__.Terms.name_
  | Cobol_ptree__.Terms.name Cobol_ptree__.Terms.qual_ ]
    Cobol_ptree__.Terms.term
    Pretty.printer

val pp_qualname' : 
  Stdlib.Format.formatter ->
  [ Cobol_ptree__.Terms.name_
  | Cobol_ptree__.Terms.name Cobol_ptree__.Terms.qual_ ]
    Cobol_ptree__.Terms.term
    Cobol_common.Srcloc.with_loc ->
  unit

val pp_address : Stdlib.Format.formatter -> Cobol_ptree__.Terms.address -> unit

val pp_inline_call : 
  Stdlib.Format.formatter ->
  Cobol_ptree__.Terms.inline_call ->
  unit

val pp_trimming_tip : Cobol_ptree__.Terms.trimming_tip Fmt.t

val pp_inline_invocation : 
  Stdlib.Format.formatter ->
  Cobol_ptree__.Terms.inline_invocation ->
  unit

val pp_effective_arg : Cobol_ptree__.Terms.effective_arg Fmt.t

val pp_object_view : 
  Stdlib.Format.formatter ->
  Cobol_ptree__.Terms.object_view ->
  unit

val pp_object_ref : 
  Stdlib.Format.formatter ->
  Cobol_ptree__.Terms.object_ref ->
  unit

val pp_counter : Stdlib.Format.formatter -> Cobol_ptree__.Terms.counter -> unit

val pp_scalar : 
  [ Cobol_ptree__.Terms.scalar_ident_
  | Cobol_ptree__.Terms.refmod_ident_
  | Cobol_ptree__.Terms.lit_
  | Cobol_ptree__.Terms.arith_value_ ]
    Cobol_ptree__.Terms.term
    Pretty.printer

val pp_expression : Cobol_ptree__.Terms.expression Fmt.t

val pp_expression' : 
  Cobol_ptree__.Terms.expression Cobol_common.Srcloc.with_loc Fmt.t

val pretty_expression : 
  Cobol_ptree__.Terms.expression ->
  Cobol_ptree__.Unparse.Expression.t

val pretty_unop : 
  Cobol_ptree__.Terms.unop ->
  Cobol_ptree__.Unparse.Expression.unary_op

val show_unop : Cobol_ptree__.Terms.unop -> string

val pp_unop : Cobol_ptree__.Terms.unop Fmt.t

val pretty_binop : 
  Cobol_ptree__.Terms.binop ->
  Cobol_ptree__.Unparse.Expression.binary_op

val show_binop : Cobol_ptree__.Terms.binop -> string

val pp_binop : Cobol_ptree__.Terms.binop Fmt.t

val pp_binary_relation : 
  Stdlib.Format.formatter ->
  (Cobol_ptree__.Terms.expression
   * Cobol_ptree__.Terms.relop
   * Cobol_ptree__.Terms.expression) ->
  unit

val pp_cond : 'k. ?pos:bool -> 'k Cobol_ptree__.Terms.cond Pretty.printer

val pp_flat_combined_relation : 
  Stdlib.Format.formatter ->
  Cobol_ptree__.Terms.flat_combined_relation ->
  unit

val pp_condition : 
  Stdlib.Format.formatter ->
  [ Cobol_ptree__.Terms.simple_ | Cobol_ptree__.Terms.complex_ ]
    Cobol_ptree__.Terms.cond ->
  unit

val not_ : Stdlib.Format.formatter -> bool -> unit

val show_relop : Cobol_ptree__.Terms.relop -> string

val pp_relop : Stdlib.Format.formatter -> Cobol_ptree__.Terms.relop -> unit

val show_class_ : Cobol_ptree__.Terms.class_ -> string

val pp_class_ : Stdlib.Format.formatter -> Cobol_ptree__.Terms.class_ -> unit

val pp_sign : 'k. 'k Cobol_ptree__.Terms.sign_cond Pretty.printer

val pp_signz : 
  Stdlib.Format.formatter ->
  'a Cobol_ptree__.Terms.sign_cond ->
  unit

val pp_logop : Stdlib.Format.formatter -> Cobol_ptree__.Terms.logop -> unit

val pp_literal : 
  [ Cobol_ptree__.Terms.nonnum_
  | Cobol_ptree__.Terms.bool_
  | Cobol_ptree__.Terms.num_ ]
    Cobol_ptree__.Terms.term
    Pretty.printer

val pp_literal' : 
  Stdlib.Format.formatter ->
  [ Cobol_ptree__.Terms.nonnum_
  | Cobol_ptree__.Terms.bool_
  | Cobol_ptree__.Terms.num_ ]
    Cobol_ptree__.Terms.term
    Cobol_common.Srcloc.with_loc ->
  unit

val pp_ident : 
  [ Cobol_ptree__.Terms.base_ident_ | Cobol_ptree__.Terms.refmod_ident_ ]
    Cobol_ptree__.Terms.term
    Pretty.printer

Pretty-printing for named unions of term types (some are yet to be renamed)

val pp_ident_or_alphanum : 
  [ Cobol_ptree__.Terms.ident_ | Cobol_ptree__.Terms.alnum_ ]
    Cobol_ptree__.Terms.term
    Pretty.printer

val pp_ident_or_intlit : 
  [ Cobol_ptree__.Terms.ident_ | Cobol_ptree__.Terms.int_ ]
    Cobol_ptree__.Terms.term
    Pretty.printer

val pp_ident_or_literal : 
  [ Cobol_ptree__.Terms.ident_ | Cobol_ptree__.Terms.lit_ ]
    Cobol_ptree__.Terms.term
    Pretty.printer

val pp_ident_or_nonnum : 
  [ Cobol_ptree__.Terms.ident_ | Cobol_ptree__.Terms.nonnum_ ]
    Cobol_ptree__.Terms.term
    Pretty.printer

val pp_ident_or_numlit : 
  [ Cobol_ptree__.Terms.ident_ | Cobol_ptree__.Terms.num_ ]
    Cobol_ptree__.Terms.term
    Pretty.printer

val pp_ident_or_strlit : 
  [ Cobol_ptree__.Terms.ident_ | Cobol_ptree__.Terms.strlit_ ]
    Cobol_ptree__.Terms.term
    Pretty.printer

val pp_strlit : 
  [ Cobol_ptree__.Terms.alnum_ | Cobol_ptree__.Terms.national_ ]
    Cobol_ptree__.Terms.term
    Pretty.printer

val pp_name_or_string : 
  [ Cobol_ptree__.Terms.name_ | Cobol_ptree__.Terms.strlit_ ]
    Cobol_ptree__.Terms.term
    Pretty.printer

val pp_name_or_literal : 
  [ Cobol_ptree__.Terms.name_ | Cobol_ptree__.Terms.lit_ ]
    Cobol_ptree__.Terms.term
    Pretty.printer

val pp_name_or_alphanum : 
  [ Cobol_ptree__.Terms.name_ | Cobol_ptree__.Terms.alnum_ ]
    Cobol_ptree__.Terms.term
    Pretty.printer

val pp_strlit_or_intlit : 
  [ Cobol_ptree__.Terms.strlit_ | Cobol_ptree__.Terms.int_ ]
    Cobol_ptree__.Terms.term
    Pretty.printer

val pp_qualname_or_literal : 
  [ Cobol_ptree__.Terms.qualname_ | Cobol_ptree__.Terms.lit_ ]
    Cobol_ptree__.Terms.term
    Pretty.printer

val pp_qualname_or_intlit : 
  [ Cobol_ptree__.Terms.qualname_ | Cobol_ptree__.Terms.int_ ]
    Cobol_ptree__.Terms.term
    Pretty.printer

val pp_qualname_or_alphanum : 
  [ Cobol_ptree__.Terms.qualname_ | Cobol_ptree__.Terms.alnum_ ]
    Cobol_ptree__.Terms.term
    Pretty.printer