Function smt2::compile_constructor_declaration

pub fn compile_constructor_declaration<E: Compiler>(
    env: &E, 
    decl: &Located<ConstructorDeclaration>, 
    sort_parameters: &Vec<E::Ident>
) -> Result<UnresolvedConstructorDeclaration<E>, E> where
    <E as Environment>::Function: Function<E>,