1) The licence should not get into odoc. we can use (** /* *) + (** */ *) or something to avoid it.
2) we should allow this license info to be not in the beginning of the file. It's important because various rewriters (bisect_ppx) could add some stuff to the beginning of the file.
1) The licence should not get into odoc. we can use
(** /* *)
+(** */ *)
or something to avoid it. 2) we should allow this license info to be not in the beginning of the file. It's important because various rewriters (bisect_ppx) could add some stuff to the beginning of the file.