-record(interface, {
    name :: binary(),
    lift_type :: eyg@analysis@type_@isomorphic:type(integer()),
    lower_type :: eyg@analysis@type_@isomorphic:type(integer()),
    decode :: fun((eyg@interpreter@value:value(any(), any())) -> {ok, any()} |
        {error, eyg@interpreter@break:reason(any(), any())})
}).