How do I create my own types?

17 views
Skip to first unread message

Mahesh Paolini-Subramanya

unread,
Apr 27, 2013, 6:04:09 AM4/27/13
to pi...@googlegroups.com
Say I want to create a custom_type which is the equivalent of pos_integer()
How do I go about doing that?  As far as I can tell, in the end the type needs to devolve down to one of the pre-defined types (int64, bool, etc.)
Reply all
Reply to author
Forward
0 new messages