Function gluon_check::check_signature

source · 
pub fn check_signature(
    env: &dyn TypecheckEnv<Type = ArcType>,
    signature: &ArcType,
    actual: &ArcType
) -> bool
Expand description

Checks if actual can be assigned to a binding with the type signature signature