(* File: ModML/semantic_object_functions.txt *)

(* Description: This file lists the names and types of functions defined
   on the semantic objects of the ML Module system.  I used this as a
   reference when I was writing the evaluation predicate.  *)

(* References: The "Definition", Sections 4.3 and 7.2 *)

intenv_of_int : int -> intenv 
vars_of_int : int -> var set 
env_of_basis : basis -> env 
empty_env : env 
empty_int : int 
empty_sigenv : sigenv 
empty_funenv : funenv 
insert_into_funenv : funenv -> funid -> funclos -> funenv 
insert_into_intenv : intenv -> strid -> int -> intenv 
insert_into_sigenv_set : sigid # int list -> sigid -> int -> (sigid # int) list
insert_into_sigenv : sigenv -> sigid -> int -> sigenv 
funenv_map : funid -> funclos -> funenv 
intenv_map : strid -> int -> intenv 
sigenv_map : sigid -> int -> sigenv: sigid -> int -> sigenv 
strenv_map : strid -> env -> strenv 
strenv_map : strid -> env -> strenv 
add_funenv : funenv -> funenv -> funenv 
add_sigenv : sigenv -> sigenv -> sigenv 
add_basis_aux : basis -> funenv -> sigenv -> env -> basis 
add_basis : basis -> basis -> basis 
add_intenv : intenv -> intenv -> intenv 
add_int_aux : int -> intenv -> var set -> excon set -> int 
add_int : int -> int -> int 
add_env_to_basis : env -> basis -> basis 
add_env_to_basis_aux : basis -> env -> basis 
add_funenv_to_basis_aux : basis -> funenv -> basis 
add_funenv_to_basis : funenv -> basis -> basis 
add_sigenv_to_intbasis : sigenv -> intbasis -> intbasis 
add_intenv_to_intbasis : intenv -> intbasis -> intbasis 
strenv_in_env : strenv -> env 
vars_in_int : var set -> int 
excons_in_int : excon set -> int 
intenv_in_int : intenv -> int 
env_in_basis : env -> basis 
strenv_in_basis : strenv -> basis 
sigenv_in_basis : sigenv -> basis 
funenv_in_basis : funenv -> basis 
lookuplongstrid_env : env -> strid long -> env lift 
lookup_longstrid_basis : basis -> strid long -> env lift 
lookup_strid_int : int -> strid -> int lift 
lookup_strid_intenv : intenv -> strid -> int lift 
lookup_longstrid_intenv : intenv -> strid long -> int lift 
lookup_longstrid_intbasis : intbasis -> strid long -> int lift 
lookup_funid_funenv : funenv -> funid -> funclos lift 
lookup_funid_basis : basis -> funid -> funclos lift 
lookup_sigid_sigenv_aux : sigid # int list -> sigid -> int lift 
lookup_sigid_sigenv : sigenv -> sigid -> int lift 
lookup_sigid_intbasis : intbasis -> sigid -> int lift 
vars_from_varenv : varenv -> var set 
excons_from_exconenv : exconenv -> excon set 
Inter : env -> int 
Inter_basis : basis -> int 
cut_varenv : varenv -> var set -> varenv 
cut_exconenv : exconenv -> excon set -> exconenv 
cut_strenv : strenv -> intenv -> strenv 
cut_env : env -> int -> env 