sequent-core-0.5.0.1: Alternative Core language for GHC plugins (Index - O)

sequent-core-0.5.0.1: Alternative Core language for GHC plugins

A
B
C
D
E
F
H
I
K
L
M
N
O
P
R
S
T
U
V
Z
=
All

Index - O

onCoreExpr	Language.SequentCore.Translate, Language.SequentCore
onSequentCoreTerm	Language.SequentCore.Translate, Language.SequentCore