Parameter V1.2-M

type binable
type t
val to_binable : t -> binable
val of_binable : binable -> t