getType function

initialized type (not exposed to user)

Helper function to initialise the type.

getType(type_str, kind)

Arguments

• type_str: type string returned by parse_mzn().
• kind: par or var