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