Struct PrologTypeSig 

pub struct PrologTypeSig {
    pub name: String,
    pub params: Vec<(PrologMode, PrologType)>,
    pub description: Option<String>,
}

A plDoc-style predicate type signature.

Fields

name: String

Predicate name.

params: Vec<(PrologMode, PrologType)>

Parameter types and modes (mode, type).

description: Option<String>

Optional description.

Implementations

impl PrologTypeSig

pub fn emit_pldoc(&self) -> String

Emit the type signature as a plDoc comment block.

pub fn emit_pred_directive(&self) -> String

Emit as a :- pred directive (SICStus style).

Trait Implementations

impl Clone for PrologTypeSig

fn clone(&self) -> PrologTypeSig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PrologTypeSig

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

Formats the value using the given formatter.