Class type 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