Function gluon_check::check_signature

pub fn check_signature(
    env: &TypeEnv, 
    signature: &ArcType, 
    actual: &ArcType
) -> bool

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