Hydra.Ext.Scala.Prepare
prepareType :: Context m -> Type m -> (Type m, Term m -> Term m, Set String) Source #