Module Mavryk_protocol_environment_alpha.Pervasives
val raise_notrace : exn -> 'aval invalid_arg : string -> 'aval failwith : string -> 'aval (&&) : bool -> bool -> boolval (||) : bool -> bool -> boolval __POS__ : string * int * int * intval __LOC_OF__ : 'a -> string * 'aval __LINE_OF__ : 'a -> int * 'aval __POS_OF__ : 'a -> (string * int * int * int) * 'aval (|>) : 'a -> ('a -> 'b) -> 'bval (@@) : ('a -> 'b) -> 'a -> 'bval (+) : int -> int -> intval (-) : int -> int -> intval (*) : int -> int -> intval (/) : int -> int -> intval (mod) : int -> int -> intval (land) : int -> int -> intval (lor) : int -> int -> intval (lxor) : int -> int -> intval (lsl) : int -> int -> intval (lsr) : int -> int -> intval (asr) : int -> int -> intval (^) : string -> string -> stringval int_of_char : char -> intval char_of_int : int -> charval string_of_bool : bool -> stringval bool_of_string_opt : string -> bool optionval string_of_int : int -> stringval int_of_string_opt : string -> int optionval fst : ('a * 'b) -> 'aval snd : ('a * 'b) -> 'bval (@) : 'a list -> 'a list -> 'a listtype !'a ref = {mutable contents : 'a;
}val (:=) : 'a ref -> 'a -> unitval incr : int ref -> unitval decr : int ref -> unittype (!'a, !'b) result = ('a, 'b) Stdlib.result = | Ok of 'a| Error of 'b
val (^^) :
('a, 'b, 'c, 'd, 'e, 'f) format6 ->
('f, 'b, 'c, 'e, 'g, 'h) format6 ->
('a, 'b, 'c, 'd, 'g, 'h) format6