JCHPreAPI.relational_invariant_int
method compare : 'a -> int
method index : int
method get_expr : JCHBasicTypesAPI.relational_expr_t
method write_xml : CHXmlDocument.xml_element_int -> unit
method toPretty : CHPretty.pretty_t