module Core.Unification (convertTy, convertTm) where

import Common
import Core.Value
import Core.MetaState

convertTy :: ForceArgs => Ty -> Ty -> FlexDecide
convertTm :: ForceArgs => Tm -> Tm -> FlexDecide