Struct clingo_sys::clingo_ast_theory_guard

#[repr(C)]
pub struct clingo_ast_theory_guard {
    pub operator_name: *const c_char,
    pub term: clingo_ast_theory_term_t,
}

Fields

operator_name: *const c_char

term: clingo_ast_theory_term_t

Trait Implementations

impl Copy for clingo_ast_theory_guard

impl Clone for clingo_ast_theory_guard

fn clone(&self) -> clingo_ast_theory_guard

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.