(* This file is generated by sugar from pure.s. *)

type z = string
type id = z * string
type num = z * int
type literal = z * string
type str = z * string

and e =
| Fun of z * id list * e
| App of z * e * e
| Atom of z * e
| Id of z * id


let zid (z,_) = z
let znum (z,_) = z
let zstr (z,_) = z
let zliteral (z,_) = z
let z0 = (Util.argi 1) ^ ":00:00"

let ze = function
| Fun (z,_,_) -> z
| App (z,_,_) -> z
| Atom (z,_) -> z
| Id (z,_) -> z