Struct PrologBackendOptions 

pub struct PrologBackendOptions {
    pub blank_between_predicates: bool,
    pub emit_docs: bool,
}

Configuration options for the Prolog backend.

Fields

blank_between_predicates: bool

Emit blank lines between predicates.

emit_docs: bool

Emit %% doc comments for predicates with doc strings.

Trait Implementations

impl Clone for PrologBackendOptions

fn clone(&self) -> PrologBackendOptions

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PrologBackendOptions

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for PrologBackendOptions

fn default() -> PrologBackendOptions

Returns the “default value” for a type.