Module PythongenSource

Sourcetype t =
  1. | Block of t list
  2. | Line of string
Sourceval inline_defaults : string
Sourceval compat_block : t list
Sourceval reserved_exns : string list
Sourceval lines_of_t : t -> string list
Sourceval string_of_ts : t list -> string
Sourceval output_doc : string list -> t list
Sourceval fresh_id : unit -> string
Sourceval typecheck : 'a. 'a Rpc.Types.typ -> string -> t list

typecheck ty v returns a python fragment which checks v has type ty

Sourceval value_of : 'a. 'a Rpc.Types.typ -> string
Sourceval exn_var : Rpc.Types.boxed_def -> t list
Sourceval skeleton_method : bool -> Codegen.Interface.t -> Codegen.boxed_fn -> t list
Sourceval example_stub_user : Codegen.Interface.t -> Codegen.boxed_fn -> t list
Sourceval example_skeleton_user : Codegen.Interface.t -> Codegen.boxed_fn -> t list
Sourceval test_impl_of_interface : Codegen.Interface.t -> t list
Sourceval skeleton_of_interface : Codegen.Interface.t -> t list
Sourceval server_of_interface : Codegen.Interface.t -> t list
Sourceval test_impl_of_interfaces : Codegen.Interfaces.t -> t list
Sourceval commandline_parse : 'a -> Codegen.boxed_fn -> t list
Sourceval commandline_run : 'a -> Codegen.boxed_fn -> t list
Sourceval commandline_of_interface : Codegen.Interface.t -> t list
Sourceval of_interfaces : ?helpers:string -> Codegen.Interfaces.t -> t list