Documentation

module DDC.Core.Exp.Simple

type KindEnvF = Env NameSource

type TypeEnvF = Env NameSource

type TypeF = Type NameSource

type ModuleF = Module () NameSource

type ExpF = Exp () NameSource

type CastF = Cast () NameSource

type LetsF = Lets () NameSource

type AltF = Alt () NameSource

type PatF = Pat NameSource

type WitnessF = Witness () NameSource

type BoundF = Bound NameSource

type BindF = Bind NameSource