Parameter Conv.C

type t
val conv : t -> B1.t