Trait DivisionMode 

pub trait DivisionMode {
    const PADDING_KIND: PaddingKind;
}

Determines the padding kind used for matched-hole markers in division.

Required Associated Constants

const PADDING_KIND: PaddingKind

The padding kind to use for matched-term holes.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl DivisionMode for Relaxed

const PADDING_KIND: PaddingKind = PaddingKind::Top

impl DivisionMode for Span

const PADDING_KIND: PaddingKind = PaddingKind::Top

impl DivisionMode for Strict

const PADDING_KIND: PaddingKind = PaddingKind::Bottom