Function gluon_check::check_signature
[−]
[src]
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