Pagination a partial implementation practice for the pagination of typesetting proposed by Pagination Reconsidered (by A Brüggemann-Klein et al., 1996) in Ocaml