package minicaml

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Minicaml.Typecheck`Source

Sourceval terr : string -> 'a

Sourceval expect : string -> string -> unit

Sourceval typecheck : Types.evt -> string -> unit

Unpacking functions: extract a value or throw an err

Sourceval unpack_int : Types.evt -> int

Sourceval unpack_bool : Types.evt -> bool

Sourceval unpack_string : Types.evt -> string

Sourceval unpack_list : Types.evt -> Types.evt list

Sourceval 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

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