Expeq (yalo_plugin_CAMELOT.Yalo_plugin

val exp_eq : 
  Yalo_plugin_ocaml.V1.OCAML_AST.expression ->
  Yalo_plugin_ocaml.V1.OCAML_AST.expression ->
  bool

Limited notion of expression equality - trees should look the same for commonly used expressions eee

val exp_desc_eq : 
  Yalo_plugin_ocaml.V1.OCAML_AST.expression_desc ->
  Yalo_plugin_ocaml.V1.OCAML_AST.expression_desc ->
  bool

val value_binding_eq : 
  Yalo_plugin_ocaml.V1.OCAML_AST.value_binding ->
  Yalo_plugin_ocaml.V1.OCAML_AST.value_binding ->
  bool

val pat_eq : 
  Yalo_plugin_ocaml.V1.OCAML_AST.pattern ->
  Yalo_plugin_ocaml.V1.OCAML_AST.pattern ->
  bool

val const_eq : 
  Yalo_plugin_ocaml.V1.OCAML_AST.constant ->
  Yalo_plugin_ocaml.V1.OCAML_AST.constant ->
  bool