
  0 | module Language.Reflection.Unify
  1 | 
  2 | import Language.Reflection
  3 | import public Language.Reflection.Unify.Interface
  4 | import public Language.Reflection.Unify.WithCompiler
  5 | 
  6 | -- export %defaulthint
  7 | export %defaulthint
  8 | DefaultUnifier : Elaboration m => CanUnify m
  9 | DefaultUnifier = UnifyWithCompiler
 10 |