Function list_contains_list_rev

fn list_contains_list_rev<'a>(a: Datum<'a>, b: Datum<'a>) -> Datum<'a>