(* OASIS_START *)
(* DO NOT EDIT (digest: fdd5370a7d4ca1bff42798eab490791f) *)
Authors of lambda-term
Jérémie Dimino
(* OASIS_STOP *)
