Module Pythongen

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

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

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