Module Cs_code_typing_top

module Cs_code_typing_top: sig .. end

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