 exports.astizeExpression = astizeExpression
 exports.astizeExpressionWithWrapper = astizeExpressionWithWrapper
 exports.syntaxedExpHtml = syntaxedExpHtml
+exports.syntaxedType = syntaxedType
 
 # exports.compileModule = (source) ->
 #   """

syntaxedExpHtml = (string) ->
  collapse toHtml astize tokenize string

compileTopLevel = (source) ->
  {js, ast, ctx} = compileToJs topLevel, "(#{source})", -1, -1
  {js, ast, types: typeEnumaration ctx}

compileTopLevelAndExpression = (source) ->
  topLevelAndExpression source

astizeExpressionWithWrapper = (source) ->
  parentize astize (tokenize "(#{source})", -1), -1

finalizeTypes = (ctx, ast) ->
  visitExpressions ast, (expression) ->
    expression.tea = highlightType substitute ctx.substitution, expression.tea

# end of API

