sig
type code_type_context
val default_code_type_context : Code_typing_context.code_type_context
val add_variable_type :
Code_typing_context.code_type_context ->
Xquery_common_ast.cvname ->
Xquery_physical_type_ast.physical_xml_type ->
Code_typing_context.code_type_context
val get_variable_type :
Code_typing_context.code_type_context ->
Xquery_common_ast.cvname -> Xquery_physical_type_ast.physical_xml_type
val add_input_type :
Code_typing_context.code_type_context ->
Xquery_physical_type_ast.physical_tuple_type ->
Code_typing_context.code_type_context
val get_input_type :
Code_typing_context.code_type_context ->
Xquery_physical_type_ast.physical_tuple_type
end