lr1partial.mli 2.09 KB