module Make: functor (Pos : sigtype t val sexp_of_t : t -> Type.tend) -> sig .. end
functor (
Pos
:
sig
type t
val sexp_of_t : t -> Type.t
t -> Type.t
end
) ->
sig type t val sexp_of_t : t -> Type.t end
module type S = sig .. end