Module Cobol_ptree.Terms_helpers

Some utilities to construct or rewrite terms (mostly conditions for now)

val neg_condition : neg:bool -> 'r Cobol_ptree__.Terms.cond Cobol_common.with_loc -> 'r Cobol_ptree__.Terms.cond
val cast_no_rel_cond : Cobol_ptree__.Terms.no_rel Cobol_ptree__.Terms.cond -> 'r Cobol_ptree__.Terms.cond
val expand_every_abbrev_cond : (bool * Cobol_ptree__.Terms.expr Cobol_common.Srcloc.with_loc * Cobol_ptree__.Terms.abbrev_relation_operand Cobol_common.Srcloc.with_loc) Cobol_ptree__.Terms.cond -> (Cobol_ptree__.Terms.expr Cobol_common.Srcloc.with_loc * Cobol_ptree__.Terms.relop * Cobol_ptree__.Terms.expr Cobol_common.Srcloc.with_loc) Cobol_ptree__.Terms.cond
val expand_abbrev_cond : (bool * Cobol_ptree__.Terms.expr Cobol_common.Srcloc.with_loc * Cobol_ptree__.Terms.abbrev_relation_operand Cobol_common.Srcloc.with_loc) -> (Cobol_ptree__.Terms.expr Cobol_common.Srcloc.with_loc * Cobol_ptree__.Terms.relop * Cobol_ptree__.Terms.expr Cobol_common.Srcloc.with_loc) Cobol_ptree__.Terms.cond