Module `Solidity_common`Source

Sourcetype pos = (int * int) * (int * int)

Sourceval dummy_pos : pos

Sourceexception GenericError of string

Sourceval error : ('a, Format.formatter, unit, 'b) format4 -> 'a

Sourcetype relative = [

| `Relative

]

Sourcetype absolute = [

| `Absolute

]

Sourcemodule ExtMap : sig ... end

Sourcemodule ZMap : ExtMap.S with type key = Z.t

Sourcemodule ZSet : Set.S with type elt = Z.t

Sourcemodule IntMap : ExtMap.S with type key = int

Sourcemodule StringMap : ExtMap.S with type key = string

Sourcemodule StringSet : Set.S with type elt = string

Sourcemodule Ident : sig ... end

Sourcemodule LongIdent : sig ... end

Sourcemodule IdentAList : sig ... end

Sourcemodule IdentMap : ExtMap.S with type key = Ident.t

Sourcemodule IdentSet : Set.S with type elt = Ident.t

Sourcemodule AbsLongIdentMap : ExtMap.S with type key = absolute LongIdent.t

Sourcemodule RelLongIdentMap : ExtMap.S with type key = relative LongIdent.t

Sourcemodule AbsLongIdentSet : Set.S with type elt = absolute LongIdent.t

Sourcemodule RelLongIdentSet : Set.S with type elt = relative LongIdent.t

Sourcemodule ExtList : sig ... end

Sourcemodule ExtInt : sig ... end

Sourcemodule ExtZ : sig ... end

Sourcemodule ExtQ : sig ... end

Sourcetype annot = ..

Sourcetype annot +=

| ANone

Sourcetype 'a node = {

contents : 'a;
mutable annot : annot;
pos : pos;

}

Sourceval annot : 'a -> annot -> pos -> 'a node

Sourceval strip : 'a node -> 'a

Sourceval get_annot : 'a node -> annot

Sourceval set_annot : 'a node -> annot -> unit

Sourceval replace_annot : 'a node -> annot -> unit

Sourceval make_absolute_path : string -> string -> string

Sourceval is_some : 'a option -> bool

Sourceval is_none : 'a option -> bool

Sourcetype primitive_kind =

| PrimFunction
| PrimMemberFunction
| PrimVariable
| PrimMemberVariable

Sourcetype primitive = {

prim_name : string;
prim_kind : primitive_kind;

}

Sourceval max_primitives : int

Sourceval max_prim_id : int ref

Sourceval prim_of_id : int -> primitive option

Sourceval prim_of_ident : Ident.t -> (int * primitive) option

Sourceval add_primitive : int -> primitive -> unit

package solidity-common

Module Solidity_commonSource

Module `Solidity_common`Source