sig
  val pickle_var : Ast.Ast.var -> string
  val pickle_exp : Ast.Ast.exp -> string
end