Idris2Doc : Idrall.Resolve

Idrall.Resolve

(source)

Definitions

resolve : ListFilePath->MaybeFilePath->ExprImportStatement->IOEitherError (ExprVoid)
Visibility: export