#NEWLINE# @ expose ( 'struct-type-make-predicate' , [ values_struct . W_StructType ] , simple = False ) #NEWLINE# def do_struct_type_make_predicate( struct_type , env , cont ) : #NEWLINE# #INDENT# from pycket.interpreter import return_value #NEWLINE# current_inspector = values_struct . current_inspector_param . get ( struct_type ) #NEWLINE# if ( not current_inspector . has_control ( struct_type ) ) : #NEWLINE# #INDENT# raise SchemeException ( 'fail_contract' ) #NEWLINE# #UNINDENT# return return_value ( struct_type . predicate , env , cont )