Structural_compare (mavryk-micheline-rewriting.Mavryk_micheline_rewriting.Structural

val compare : 
  prim_compare:('prim -> 'prim -> int) ->
  ('annot, 'prim) Mavryk_micheline.Micheline.node ->
  ('annot, 'prim) Mavryk_micheline.Micheline.node ->
  int

val list_compare : 
  prim_compare:('prim -> 'prim -> int) ->
  ('annot, 'prim0) Mavryk_micheline.Micheline.node list ->
  ('annot0, 'prim1) Mavryk_micheline.Micheline.node list ->
  int