blob: e50f07da87c6c735a90052ee42514a842e58a59a (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
module type PROGRAM = sig
type t
end
module Make (P : PROGRAM) = struct
class type implementation = object
method invoke : P.t -> (Handle.t, Concepts.Condition.condition) result
end
type Handle.protocol += Program of implementation
type t = implementation
let make impl = Program (impl :> implementation)
let from handle = Handle.into handle (function Program impl -> Some impl | _ -> None)
let invoke i program = Handle.invoke i (fun o -> o#invoke program)
end
|
