CCHPOExplanations
val prototype_to_pretty : CCHPreTypes.po_explanation_t -> CHPretty.pretty_t
val get_cref_section : string -> string -> CHPretty.pretty_t
val get_po_explanation : string -> CCHPreTypes.po_explanation_t
val has_po_explanation : string -> bool