Idris.Core.Unify

match_unify

unify

type Fails

data FailContext

data FailAt

unrecoverable