Unityper

isa_type_fun(::Val{T}, Val{S}, x)::Bool where {T, S}

It checks if x is a S <: T, where S is a symbol and T is a type.

rt_constructor(x)::Function where {T, S}

Return the runtime constructor of x

subtypes_fun(::Val{T}) where T

return the conceptual subtypes in Symbols.

@compactify [show_methods=true] exprs