package p4spectec
Module Dynamic.VarSource
Source
val compare :
((Stdlib.String.t, 'a, 'b) Util.Source.info * Lang.Il.iter list) ->
((Stdlib.String.t, 'c, 'd) Util.Source.info * Lang.Il.iter list) ->
int