webql/compiler/typechecker/typecheck_edge

Copy Markdown

Values

typecheck

pub fn typecheck(
  edge: hir.Edge,
  context: context.Context,
) -> Result(Nil, diagnostic.Diagnostic)

Typechecks a resolved edge.