val string_of_invariant_policy : Jc_env.inv_sem -> string
val string_of_separation_policy : Jc_env.separation_sem -> string
val string_of_annotation_policy : Jc_env.annotation_sem -> string
val string_of_abstract_domain : Jc_env.abstract_domain -> string
val string_of_int_model : Jc_env.int_model -> string
val const : Format.formatter -> Jc_ast.const -> unit
val label : Format.formatter -> Jc_env.logic_label -> unit
val ptype : Format.formatter -> Jc_ast.ptype -> unit
val ptype_params : Format.formatter -> Jc_ast.ptype list -> unit
val offset_kind : Format.formatter -> Jc_ast.offset_kind -> unit