package binsec

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Binsec_sse.InterpreterSource

Sourcemodule type DRIVER = sig ... end
Sourcetype ('path, 'outcome) driver = (module DRIVER with type outcome = 'outcome and type path = 'path)
Sourceval dispatch : 'path -> ([ `All ], 'path) Types.fiber -> ('path, 'outcome) driver -> 'outcome
Sourcemodule Concrete (P : Types.PATH) (_ : DRIVER with type path = P.t and type outcome = P.t Types.continuation) : DRIVER with type path = P.t and type outcome = P.t Types.continuation