let
is_equal a b =
Context
.is_equal s.current a b