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