Literal expressions
Documentation
data Literal ctx a whereSource
WitnessSat (Literal ctx) | |
WitnessCons (Literal ctx) | |
ExprEq (Literal ctx) | |
ToTree (Literal ctx) | |
Render (Literal ctx) | |
Eval (Literal ctx) | |
((Literal ctx') :<: dom, PartialEval dom ctx dom) => PartialEval (Literal ctx') ctx dom |