module type S = sig .. end
sig
end
type raw
type t
val of_raw : raw -> t
raw -> t
val to_raw : t -> raw
t -> raw