Module erg_type::constructors
source · [−]Functions
function type with non-default parameters
quantified((T -> T), T: Type) => |T: Type| T -> T
Sub <: Sup
function type with non-default parameters
quantified((T -> T), T: Type) => |T: Type| T -> T
Sub <: Sup