Module Cobol_ptree.Terms_helpers

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

val neg_condition : neg:bool -> Cobol_ptree__.Terms.cond Cobol_common.with_loc -> Cobol_ptree__.Terms.cond
val expand_every_abbrev_cond : Cobol_ptree__.Terms.cond -> 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.cond