Function mk_bool_inductive 

pub fn mk_bool_inductive() -> InductiveType

Build the Bool inductive type (no parameters, two constructors).