Module Code_typing_context

module Code_typing_context: sig .. end

type code_type_context 

val default_code_type_context : code_type_context

val add_variable_type : code_type_context ->
       Xquery_common_ast.cvname ->
       Xquery_physical_type_ast.physical_xml_type ->
       code_type_context

val get_variable_type : code_type_context ->
       Xquery_common_ast.cvname -> Xquery_physical_type_ast.physical_xml_type

val add_input_type : code_type_context ->
       Xquery_physical_type_ast.physical_tuple_type ->
       code_type_context

val get_input_type : code_type_context ->
       Xquery_physical_type_ast.physical_tuple_type