Fmt_ail (soteria-c.Soteria_c_lib.Fmt

val pp_to_fmt : 
  ('a -> PPrint.document) ->
  Stdlib.Format.formatter ->
  'a ->
  unit

val pp_id_kind : 
  Stdlib.Format.formatter ->
  Cerb_frontend.AilSyntax.id_kind ->
  unit

val pp_loc : Cerb_location.t Fmt.t

val pp_id : Stdlib.Format.formatter -> Cerb_frontend.Symbol.identifier -> unit

val pp_sym : Cerb_frontend.Symbol.sym Fmt.t

val pp_ty : Stdlib.Format.formatter -> Cerb_frontend.Ctype.ctype -> unit

val pp_ty_ : Stdlib.Format.formatter -> Cerb_frontend.Ctype.ctype_ -> unit

val pp_int_ty : 
  Stdlib.Format.formatter ->
  Cerb_frontend.Ctype.integerType ->
  unit

val pp_arithop : 
  Stdlib.Format.formatter ->
  Cerb_frontend.AilSyntax.arithmeticOperator ->
  unit

val pp_binop : 
  Stdlib.Format.formatter ->
  Cerb_frontend.AilSyntax.binaryOperator ->
  unit

val pp_unop : 
  Stdlib.Format.formatter ->
  Cerb_frontend.AilSyntax.unaryOperator ->
  unit

val pp_constant : 
  Stdlib.Format.formatter ->
  Cerb_frontend.AilSyntax.constant ->
  unit

val pp_invalid_reason : 
  Stdlib.Format.formatter ->
  Cerb_frontend.AilSyntax.ail_invalid_reason ->
  unit

val pp_expr : Stdlib.Format.formatter -> Ail_tys.expr -> unit

val pp_stmt : Stdlib.Format.formatter -> Ail_tys.stmt -> unit

val pp_program : Stdlib.Format.formatter -> Ail_tys.program -> unit

val pp_program_ast : 
  Stdlib.Format.formatter ->
  ('a * 'b Cerb_frontend.AilSyntax.sigma) ->
  unit