Idris2Doc : Language.Reflection.Unify

Language.Reflection.Unify

(source)
Reexports
import public Language.Reflection.Unify.Interface
import public Language.Reflection.Unify.WithCompiler
Definitions
DefaultUnifier : Elaboration m => CanUnify m
  Visibility: export