Module Solidity_primitives

val init : unit -> unit
module UTILS : sig ... end