sig
val code_typing_statement :
Code_selection_context.code_selection_context ->
Algebra_type.algop_expr -> Code_typing_context.code_type_context
val code_typing_prolog :
Code_selection_context.code_selection_context ->
Algebra_type.algop_prolog -> Code_typing_context.code_type_context
val code_typing_module :
Code_selection_context.code_selection_context ->
Algebra_type.algop_xmodule -> Code_typing_context.code_type_context
end