Function fungi_lang::bitype::check_val[][src]

pub fn check_val(ext: &Ext, ctx: &Ctx, val: &Val, typ_raw: &Type) -> ValDer

check value against a value type