open Closures open Closures_print let () = let (gamma, e, sigma) = paper_example in print (doc_ty_judgment gamma e sigma); print_newline ()