Function fungi_lang::bitype::find_defs_for_idxtm_var [] [src]

pub fn find_defs_for_idxtm_var(ctx: &Ctx, x: &Var) -> Option<IdxTm>