elabInterface : Ref Ctxt Defs => Ref UST UState => Ref Syn SyntaxInfo => Ref MD Metadata => Ref ROpts REPLOpts => FC -> WithDefault Visibility Private -> Env Term vars -> NestedNames vars -> List (Maybe Name, RawImp) -> Name -> List (Name, (RigCount, RawImp)) -> Maybe (List1 Name) -> Maybe (WithDoc (AddFC Name)) -> List ImpDecl -> Core ()