module Register: sig .. end
sig
end
val analyze : ?nobranches:bool -> Kernel_function.t -> unit
?nobranches:bool -> Kernel_function.t -> unit
val main : unit -> unit
unit -> unit