Module Sat.ParametersSource

Encode a set of parameters as a protocol buffer.

Directly use the underlying protocol buffer interface. See Sat_parameters.make_sat_parameters and the documentation in sat_parameters.proto.

Sourceval defaults : unit -> t

Return the default parameters.

Sourceval pb_output : t -> out_channel -> unit

Write the parameters to an output channel.

Sourceval pb_encode : t -> Pbrt.Encoder.t -> unit

Encode the parameters using a specific encoder.