Module Circuit.Create_options

Create_options is a record with one field for each with_create_options argument. It allows one to define a function of type _ with_create_options that takes the same optional arguments as create_exn and to pass those options on to create_exn, without every having to directly refer to any of the arguments. This makes wrapper code robust to changes in what the optional arguments are. Here is the usage idiom:

module M : sig
  val f : (...) Circuit.with_create_options
end = struct
  let f =
    Circuit.with_create_options (fun create_options ->
      ...
      call_with_create_options Circuit.create_exn create_options ~name signals;
      ...)
end