Spilling (ligo.Spilling)

module AST = Ast_aggregated

module Append_tree = Errors.Tree.Append

module Errors : sig ... end

val compile_expression : 
  raise:( Errors.spilling_error, _ ) Simple_utils.Trace.raise ->
  AST.expression ->
  Mini_c.expression

val compile_type : 
  raise:( Errors.spilling_error, _ ) Simple_utils.Trace.raise ->
  AST.type_expression ->
  Mini_c.type_expression

val decompile : 
  raise:( Errors.spilling_error, _ ) Simple_utils.Trace.raise ->
  Mini_c.value ->
  AST.type_expression ->
  AST.expression