Module Codegen.Gen

Parameters

Signature

type ('a, 'b) comp = ( 'a, 'b ) Result.t
type 'a fn = 'a outerfn
type 'a res = unit
type implementation = unit -> Interface.t
val returning : 'a Idl.Param.t -> 'b Idl.Error.t -> ( 'a, 'b ) Result.t outerfn
val (@->) : 'a Idl.Param.t -> 'b outerfn -> ( 'a -> 'b ) outerfn
val noargs : 'b outerfn -> ( unit -> 'b ) outerfn
val declare : string -> string list -> 'a fn -> 'a res
val declare_notification : string -> string list -> 'a fn -> 'a res