| open Ast |
| |
| module Map : module type of Map.Make(String) |
| |
| type subst = {varid : exp Map.t; typid : typ Map.t; defid : id Map.t; gramid : sym Map.t} |
| type t = subst |
| |
| val empty : subst |
| val union : subst -> subst -> subst (* right overrides *) |
| |
| val add_varid : subst -> id -> exp -> subst |
| val add_typid : subst -> id -> typ -> subst |
| val add_defid : subst -> id -> id -> subst |
| val add_gramid : subst -> id -> sym -> subst |
| |
| val remove_varid : subst -> id -> subst |
| val remove_typid : subst -> id -> subst |
| val remove_defid : subst -> id -> subst |
| val remove_gramid : subst -> id -> subst |
| |
| val find_varid : subst -> id -> exp |
| val find_typid : subst -> id -> typ |
| val find_defid : subst -> id -> id |
| val find_gramid : subst -> id -> sym |
| |
| val mem_varid : subst -> id -> bool |
| val mem_typid : subst -> id -> bool |
| val mem_defid : subst -> id -> bool |
| val mem_gramid : subst -> id -> bool |
| |
| val subst_typ : subst -> typ -> typ |
| val subst_exp : subst -> exp -> exp |
| val subst_path : subst -> path -> path |
| val subst_sym : subst -> sym -> sym |
| val subst_prem : subst -> prem -> prem |
| val subst_arg : subst -> arg -> arg |
| val subst_param : subst -> param -> param |
| val subst_deftyp : subst -> deftyp -> deftyp |
| val subst_typcase : subst -> typcase -> typcase |
| val subst_typfield : subst -> typfield -> typfield |
| |
| val subst_prems : subst -> prem list -> prem list |
| val subst_args : subst -> arg list -> arg list |
| val subst_params : subst -> param list -> param list * subst |
| |
| val subst_list : (subst -> 'a -> 'a) -> subst -> 'a list -> 'a list |
