Language.Syntactic.Interpretation.Evaluation

type family Denotation sig

class Eval expr