package sail
-
sail
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package sail
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val typ_ord_specialization : specializationval int_specialization : specializationval int_specialization_with_externs : specializationval polymorphic_functions :
specialization ->
'a Ast.def list ->
Ast_util.IdSet.tval add_initial_calls : Ast_util.IdSet.t -> unitval specialize :
specialization ->
Type_check.Env.t ->
Type_check.tannot Ast_defs.ast ->
Type_check.tannot Ast_defs.ast * Type_check.Env.tval specialize_passes :
int ->
specialization ->
Type_check.Env.t ->
Type_check.tannot Ast_defs.ast ->
Type_check.tannot Ast_defs.ast * Type_check.Env.tval instantiations_of :
specialization ->
Ast.id ->
Type_check.tannot Ast_defs.ast ->
Ast.typ_arg Ast_util.KBindings.t listval string_of_instantiation : Ast.typ_arg Ast_util.KBindings.t -> string