BCHLibTypes.argument_values_int
method add_argument_values : CHLanguage.variable_t ->
XprTypes.xpr_t list ->
unit
method get_argument_values : CHLanguage.variable_t -> XprTypes.xpr_t list
method write_xml : CHXmlDocument.xml_element_int -> unit
method read_xml : CHXmlDocument.xml_element_int -> unit
method toPretty : CHPretty.pretty_t