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