registration.mli 22 Bytes
Newer Older
Stephane Glondu's avatar
Stephane Glondu committed
1
(* empty interface *)