Module Constraint.Conv

Parameters

module F : sig ... end

Signature

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