pub fn synth_literal(literal_intro: &LiteralIntro) -> RcType {
    RcValue::from(Value::LiteralType(match literal_intro {
        LiteralIntro::String(_) => LiteralType::String,
        LiteralIntro::Char(_) => LiteralType::Char,
        LiteralIntro::Bool(_) => LiteralType::Bool,
        LiteralIntro::U8(_) => LiteralType::U8,
        LiteralIntro::U16(_) => LiteralType::U16,
        LiteralIntro::U32(_) => LiteralType::U32,
        LiteralIntro::U64(_) => LiteralType::U64,
        LiteralIntro::S8(_) => LiteralType::S8,
        LiteralIntro::S16(_) => LiteralType::S16,
        LiteralIntro::S32(_) => LiteralType::S32,
        LiteralIntro::S64(_) => LiteralType::S64,
        LiteralIntro::F32(_) => LiteralType::F32,
        LiteralIntro::F64(_) => LiteralType::F64,
    }))
}
/// Synthesize the type of the literal.
Synthesize the type of the literal.
Synthesize the type of the literal .
pub fn synth_literal(literal_intro: &LiteralIntro) -> RcType {
    RcValue::from(Value::LiteralType(match literal_intro {
        LiteralIntro::String(_) => LiteralType::String,
        LiteralIntro::Char(_) => LiteralType::Char,
        LiteralIntro::Bool(_) => LiteralType::Bool,
        LiteralIntro::U8(_) => LiteralType::U8,
        LiteralIntro::U16(_) => LiteralType::U16,
        LiteralIntro::U32(_) => LiteralType::U32,
        LiteralIntro::U64(_) => LiteralType::U64,
        LiteralIntro::S8(_) => LiteralType::S8,
        LiteralIntro::S16(_) => LiteralType::S16,
        LiteralIntro::S32(_) => LiteralType::S32,
        LiteralIntro::S64(_) => LiteralType::S64,
        LiteralIntro::F32(_) => LiteralType::F32,
        LiteralIntro::F64(_) => LiteralType::F64,
    }))
}
pub fn synth_literal ( literal_intro : & LiteralIntro ) -> RcType { RcValue :: from ( Value :: LiteralType ( match literal_intro { LiteralIntro :: String ( _ ) => LiteralType :: String , LiteralIntro :: Char ( _ ) => LiteralType :: Char , LiteralIntro :: Bool ( _ ) => LiteralType :: Bool , LiteralIntro :: U8 ( _ ) => LiteralType :: U8 , LiteralIntro :: U16 ( _ ) => LiteralType :: U16 , LiteralIntro :: U32 ( _ ) => LiteralType :: U32 , LiteralIntro :: U64 ( _ ) => LiteralType :: U64 , LiteralIntro :: S8 ( _ ) => LiteralType :: S8 , LiteralIntro :: S16 ( _ ) => LiteralType :: S16 , LiteralIntro :: S32 ( _ ) => LiteralType :: S32 , LiteralIntro :: S64 ( _ ) => LiteralType :: S64 , LiteralIntro :: F32 ( _ ) => LiteralType :: F32 , LiteralIntro :: F64 ( _ ) => LiteralType :: F64 , } ) ) }
Synthesize the type of the literal.
Synthesize the type of the literal .
literal_intro
&LiteralIntro