fn declare_sort(&mut self, decl: &smt2::SortDeclaration<Self>) -> Result<()> {
		self.register_sort(Arc::new(Sort {
			id: decl.id.clone(),
			//arity: decl.arity,
			def: RwLock::new(None) // undefined.
		}));

		Ok(())
	}
/// Declare a new sort.
/// The sort starts undefined, so it cannot be used before [`define_sort`] is called to
/// define the structure of the ADT.
Declare a new sort.
The sort starts undefined, so it cannot be used before [`define_sort`] is called to
define the structure of the ADT.
Declare a new sort . The sort starts undefined so it cannot be used before [ ` define_sort ` ] is called to define the structure of the ADT .
fn declare_sort(&mut self, decl: &smt2::SortDeclaration<Self>) -> Result<()> {
		self.register_sort(Arc::new(Sort {
			id: decl.id.clone(),
			//arity: decl.arity,
			def: RwLock::new(None) // undefined.
		}));
		Ok(())
	}
fn declare_sort ( & mut self , decl : & smt2 :: SortDeclaration < Self > ) -> Result < ( ) > { self . register_sort ( Arc :: new ( Sort { id : decl . id . clone ( ) , //arity: decl.arity, def : RwLock :: new ( None ) // undefined. } ) ) ; Ok ( ( ) ) }
Declare a new sort.
Declare a new sort .
&mut self
decl
&smt2::SortDeclaration<Self>
&mut self
decl
&smt2::SortDeclaration<Self>