glue-d ~dev (2021-11-24T22:16:42.8977121)
Dub
Repo
extractImplicit.implications
glued
annotations
core_impl
extractImplicit
Undocumented in source.
template
extractImplicit
(alias A)
alias
implications
=
getUDAs
!(
A
,
Implies
)
Meta
Source
See Implementation
glued
annotations
core_impl
extractImplicit
aliases
extractImplicit
implications
locallyImplicated
theirImplications
unpack
templates
step