Module Cobol_ptree.Terms_helpers

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

val neg_simple_cond : neg:bool -> [ `Simple ] Cobol_ptree__.Terms.cond -> [ Cobol_ptree__.Terms.simple_ | Cobol_ptree__.Terms.complex_ ] Cobol_ptree__.Terms.cond
val neg_condition : neg:bool -> [ Cobol_ptree__.Terms.simple_ | Cobol_ptree__.Terms.complex_ ] Cobol_ptree__.Terms.cond -> [ Cobol_ptree__.Terms.simple_ | Cobol_ptree__.Terms.complex_ ] Cobol_ptree__.Terms.cond
val expand_every_abbrev_cond : 'k Cobol_ptree__.Terms.cond -> [ Cobol_ptree__.Terms.simple_ | Cobol_ptree__.Terms.complex_ ] Cobol_ptree__.Terms.cond
val expand_abbrev_cond : (bool * (Cobol_ptree__.Terms.expression * Cobol_ptree__.Terms.relop * Cobol_ptree__.Terms.expression) * Cobol_ptree__.Terms.logop * Cobol_ptree__.Terms.flat_combined_relation) -> [ Cobol_ptree__.Terms.simple_ | Cobol_ptree__.Terms.complex_ ] Cobol_ptree__.Terms.cond