struct
open Transformation_types
let apply f x = Apply (f, x)
let lambda f = Lambda f
let list l = List_make l
let list_map l ~f = List_map (l, f)
let pair a b = Pair (a, b)
let pair_first p = Fst p
let pair_second p = Snd p
end