FreetonSolidity (freeton_solidity

val error : 
  Solidity_common.pos ->
  ( 'a, Stdlib.Format.formatter, unit, unit, unit, 'b ) Stdlib.format6 ->
  'a

val list_sub : int -> 'a list -> 'a list

val make_surcharged_fun : 
  nreq:int ->
  Solidity_common.pos ->
  (EzCompat.StringMap.key * Solidity_checker_TYPES.type_ * bool) list ->
  Solidity_checker_TYPES.options ->
  Solidity_checker_TYPES.type_ list ->
  Solidity_checker_TYPES.ident_desc option

val register_primitives : unit -> unit

val handle_exception : ( 'a -> 'b ) -> 'a -> ( 'b, string ) Stdlib.result

val parse_file : 
  ?preprocess:( string -> string ) ->
  ?cpp:bool ->
  string ->
  Solidity_ast.program

val parse_files : 
  ?preprocess:( string -> string ) ->
  ?cpp:bool ->
  string list ->
  Solidity_ast.program

val typecheck_ast : Solidity_ast.program -> Solidity_ast.program

val string_of_ast : Solidity_ast.program -> string

val type_options_fun : 
  Solidity_checker_TYPES.options ->
  Solidity_checker_TYPES.env ->
  Solidity_common.pos ->
  bool ->
  Solidity_checker_TYPES.function_options ->
  (Solidity_common.Ident.t Solidity_common.node * Solidity_ast.expression) list ->
  Solidity_checker_TYPES.function_options