-module(fp2@eq).
-compile(no_auto_import).

-export([from_equals/1]).
-export_type([eq/1]).

-type eq(EXH) :: {eq, fun((EXH, EXH) -> boolean())}.

-spec from_equals(fun((EXI, EXI) -> boolean())) -> eq(EXI).
from_equals(Equals) ->
    {eq, Equals}.