package minicaml

  1. Overview
  2. Docs
val terr : string -> 'a
val expect : string -> string -> unit
val typecheck : Types.evt -> string -> unit

Unpacking functions: extract a value or throw an err

val unpack_int : Types.evt -> int
val unpack_float : Types.evt -> float
val unpack_complex : Types.evt -> Types.complext
val unpack_bool : Types.evt -> bool
val unpack_string : Types.evt -> string
val unpack_list : Types.evt -> Types.evt list
val unpack_dict : Types.evt -> (Types.evt * Types.evt) list
val isvalidkey : (Types.evt * 'a) -> Types.evt * 'a
OCaml

Innovation. Community. Security.