dunkelheit ~master (2021-09-26T11:58:05.3103471)
Dub
Repo
EdgeType
dkh
graph
primitive
Undocumented in source.
alias
EdgeType
(
R
)
=
ElementType
!(
ElementType
!
R
)
Meta
Source
See Implementation
dkh
graph
primitive
aliases
EdgeType