rib

Function type_check

Source 
pub fn type_check(
    expr: &mut Expr,
    function_type_registry: &FunctionTypeRegistry,
) -> Result<(), RibCompilationError>