Documentation

findConflictedAlias :: forall name synhashed term typ. (Ord name, forall ref. Eq (synhashed ref), Ord term, Ord typ) => Defns (BiMultimap term name) (BiMultimap typ name) -> DefnsF3 (Map name) DiffOp synhashed term typ -> Maybe (Defn (name, name) (name, name)) Source #