Trait Typeable 

pub trait Typeable {
    // Required method
    fn return_type(&self) -> ReturnType;
}

Guaranteed to always typecheck

Required Methods

fn return_type(&self) -> ReturnType

Implementors

impl Typeable for AbstractLiteral<Expression>

impl Typeable for Domain

impl Typeable for Expression

impl Typeable for GroundDomain

impl Typeable for UnresolvedDomain

impl Typeable for Model

impl Typeable for Comprehension

impl Typeable for DeclarationPtr

impl Typeable for SubModel

impl<T> Typeable for T

where T: HasDomain,