glue-d ~master (2022-04-28T12:05:01.5022314)
Dub
Repo
extractImplicit.implications
glued
annotations
getImplicitAnnotations
extractImplicit
Undocumented in source.
template
extractImplicit
(alias A)
alias
implications
=
getUDAs
!(
A
,
Implies
)
Meta
Source
See Implementation
glued
annotations
getImplicitAnnotations
extractImplicit
aliases
extractImplicit
implications
locallyImplicated
theirImplications
unpack
templates
step