type solution = {map : float Free_variable.Map.t;scores_list : ((string * Namespace.t) * Inference.scores) list;}val get_codegen_destinations :
Registration.model_info ->
string Tezos_base.TzPervasives.traceget_codegen_destinations model_info will return all the generated code destinations in which given model is used
val solution_encoding : solution Tezos_base.TzPervasives.Data_encoding.tval pp_solution : Stdlib.Format.formatter -> solution -> unitval load_solution : string -> solutionLoad a solution form a binary or JSON file
val save_solution : solution -> string -> unitSave the given solution to binary and JSON files
val load_exclusions : string -> Tezos_base.TzPervasives.String.Set.tLoad a text file of lines of function names
val codegen :
Model.packed_model ->
solution ->
Costlang.transform ->
Namespace.t ->
codeBuild the cost function codes of the specified model
val codegen_models :
(Namespace.t * Registration.model_info) list ->
solution ->
Costlang.transform ->
exclusions:Tezos_base.TzPervasives.String.Set.t ->
(string * code) listcodegen_models models solution transform ~exclusions generates the cost function codes of multiple models. The functions in the set exclusions are excluded from the generation.
val comment : string list -> codeMake a comment
Make a toplevel module (an .ml file) from the given list of codes
val pp_code : Stdlib.Format.formatter -> code -> unitval pp_module : Stdlib.Format.formatter -> module_ -> unitmodule Parser : sig ... end