package solidity-common

  1. Overview
  2. Docs

Module Solidity_commonSource

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 = [
  1. | `Relative
]
Sourcetype absolute = [
  1. | `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 ExtList : sig ... end
Sourcemodule ExtInt : sig ... end
Sourcemodule ExtZ : sig ... end
Sourcemodule ExtQ : sig ... end
Sourcetype annot = ..
Sourcetype annot +=
  1. | ANone
Sourcetype 'a node = {
  1. contents : 'a;
  2. mutable annot : annot;
  3. 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 =
  1. | PrimFunction
  2. | PrimMemberFunction
  3. | PrimVariable
  4. | PrimMemberVariable
Sourcetype primitive = {
  1. prim_name : string;
  2. 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
OCaml

Innovation. Community. Security.