open Trace
open Ast_sugar
open Sugar_to_core

type form = 
  | Contract of string
  | Env

let compile (program : program) : Ast_core.program result =
  compile_program program

let compile_expression (e : expression) : Ast_core.expression result =
  compile_expression e

let pretty_print formatter (program : program) = 
  PP.program formatter program

let list_declarations (program : program) : string list =
  List.fold_left
    (fun prev el -> 
      let open Location in
      match el.wrap_content with
      | Declaration_constant (var,_,_,_) -> (Var.to_name var)::prev
      | _ -> prev) 
    [] program