Function mk_empty_inductive 

pub fn mk_empty_inductive() -> InductiveType

Build the Empty inductive type (no constructors — ex falso).