Function weresocool_ast::operations::helpers::pad_length
source · pub fn pad_length(
input: &mut NormalForm,
max_len: Rational64,
defs: &mut Defs<Term>
) -> Result<(), Error>
pub fn pad_length(
input: &mut NormalForm,
max_len: Rational64,
defs: &mut Defs<Term>
) -> Result<(), Error>