Constraint.Conv
module F : sig ... end
type t = {
to_basic : 'v 'f. ( 'v, 'f ) F.t -> ( 'v, 'f ) basic;
of_basic : 'v 'f. ( 'v, 'f ) basic -> ( 'v, 'f ) F.t;
}