fn process_input<Input: Read, F: std::fmt::Display + Clone>(env: &mut rchc::Environment, file: F, input: Input) {
	let start = Position::default();
	let decoder = UnsafeDecoder::new(input.bytes());
	let buffer = SourceBuffer::new(decoder, start, DEFAULT_METRICS);
	process_buffer(env, file, buffer, start, &DEFAULT_METRICS)
}
/// Process a given SMT2-lib input.
Process a given SMT2-lib input.
Process a given SMT2 - lib input .
fn process_input<Input: Read, F: std::fmt::Display + Clone>(env: &mut rchc::Environment, file: F, input: Input) {
	let start = Position::default();
	let decoder = UnsafeDecoder::new(input.bytes());
	let buffer = SourceBuffer::new(decoder, start, DEFAULT_METRICS);
	process_buffer(env, file, buffer, start, &DEFAULT_METRICS)
}
fn process_input < Input : Read , F : std :: fmt :: Display + Clone > ( env : & mut rchc :: Environment , file : F , input : Input ) { let start = Position :: default ( ) ; let decoder = UnsafeDecoder :: new ( input . bytes ( ) ) ; let buffer = SourceBuffer :: new ( decoder , start , DEFAULT_METRICS ) ; process_buffer ( env , file , buffer , start , & DEFAULT_METRICS ) }
Process a given SMT2-lib input.
Process a given SMT2 - lib input .
env
&mut rchc::Environment
file
F
input
Input
env
&mut rchc::Environment
file
F
input
Input