Trait smt2::typing::Untypable

pub trait Untypable {
    type Sort: Sort;
    type Environment;
    fn type_decoration(
        &mut self, 
        checker: &mut TypeChecker<Self::Sort>, 
        env: &Self::Environment
    );
}

Associated Types

type Sort: Sort

type Environment

Loading content...

Required methods

fn type_decoration(
    &mut self,
    checker: &mut TypeChecker<Self::Sort>,
    env: &Self::Environment
)

Loading content...

Implementors

impl<E: Environment> Untypable for Command<E>

type Sort = E::Sort

type Environment = E

fn type_decoration(
    &mut self,
    checker: &mut TypeChecker<Self::Sort>,
    env: &Self::Environment
)

impl<E: Environment> Untypable for Definition<E>

type Sort = E::Sort

type Environment = E

fn type_decoration(
    &mut self,
    checker: &mut TypeChecker<Self::Sort>,
    env: &Self::Environment
)

impl<E: Environment> Untypable for Model<E>

type Sort = E::Sort

type Environment = E

fn type_decoration(
    &mut self,
    checker: &mut TypeChecker<Self::Sort>,
    env: &Self::Environment
)

Loading content...