Function polar_core::resource_block::validate_parsed_declaration
source · [−]pub fn validate_parsed_declaration(
(name, term): (Term, Term)
) -> PolarResult<ParsedDeclaration>
pub fn validate_parsed_declaration(
(name, term): (Term, Term)
) -> PolarResult<ParsedDeclaration>