package minicaml

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

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_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 unpack_closure : 
  Types.evt ->
  Types.ide list * Types.expr * Types.type_wrapper Types.env_t

val unpack_recclosure : 
  Types.evt ->
  Types.ide * Types.ide list * Types.expr * Types.type_wrapper Types.env_t

val unpack_anyfun : 
  Types.evt ->
  Types.ide * Types.ide list * Types.expr * Types.type_wrapper Types.env_t

val isvalidkey : (Types.evt * 'a) -> Types.evt * 'a