TTImp.Elab.Ambiguity

Definitions

expandAmbigName : Ref Ctxt Defs => Ref EST (EState vars) => ElabMode -> NestedNames vars -> Env Term vars -> RawImp -> List (FC, (Maybe (Maybe Name), RawImp)) -> RawImp -> Maybe (Glued vars) -> Core RawImp

Visibility: export

addAmbig : List alts -> Maybe Name -> ElabInfo -> ElabInfo

Visibility: export

checkAlternative : Ref Ctxt Defs => Ref MD Metadata => Ref UST UState => Ref EST (EState vars) => Ref Syn SyntaxInfo => Ref ROpts REPLOpts => RigCount -> ElabInfo -> NestedNames vars -> Env Term vars -> FC -> AltType -> List RawImp -> Maybe (Glued vars) -> Core (Term vars, Glued vars)

Visibility: export