Io (catala.Verification.Io)

module type Backend = sig ... end

module type BackendIO = sig ... end

module MakeBackendIO
  (B : Backend) : 
  BackendIO
    with type vc_encoding = B.vc_encoding
     and type backend_context = B.backend_context
     and type model = B.model