package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type
val buff_size : int
val comb_suffix : string
val exec_command : ?path:string -> string -> Unix.process_status * string
val string_of_process_status : Unix.process_status -> string
val find_file_by_suffix : string -> string -> string
val run_cilly : string -> unit