let extra ="@\nHowever, if this opa value is really@ the extern type the bypass is waiting for,@ consider that this bypass is doing @{<bright>illicit things@}...@ The implementation of this bypass should be@ patched to use the type constructor opa[]@\n"

in

clash ~extra()

(* Here, if the arg-sig or ret_sig are more general that the typ in the real function

We must add some qml-conversion *)

|B.Fun_, V_bypass (pos, args, ret, obj) -> (

(* A value in a V_bypass is an ocaml function. It can be passed 'as is' *)