Language.SequentCore.Translate

fromCoreModule

termFromCoreExpr

bindsToCore

commandToCoreExpr

termToCoreExpr

contToCoreExpr

onCoreExpr

onSequentCoreTerm