{"name":"seg_center","args":[{"type":"seg"}],"returns":"real"}
{"name":"seg_cmp","args":[{"type":"seg"},{"type":"seg"}],"returns":"integer"}
{"name":"seg_contained","args":[{"type":"seg"},{"type":"seg"}],"returns":"boolean"}
{"name":"seg_contains","args":[{"type":"seg"},{"type":"seg"}],"returns":"boolean"}
{"name":"seg_different","args":[{"type":"seg"},{"type":"seg"}],"returns":"boolean"}
{"name":"seg_ge","args":[{"type":"seg"},{"type":"seg"}],"returns":"boolean"}
{"name":"seg_gt","args":[{"type":"seg"},{"type":"seg"}],"returns":"boolean"}
{"name":"seg_in","args":[{"type":"cstring"}],"returns":"seg"}
{"name":"seg_inter","args":[{"type":"seg"},{"type":"seg"}],"returns":"seg"}
{"name":"seg_le","args":[{"type":"seg"},{"type":"seg"}],"returns":"boolean"}
{"name":"seg_left","args":[{"type":"seg"},{"type":"seg"}],"returns":"boolean"}
{"name":"seg_lower","args":[{"type":"seg"}],"returns":"real"}
{"name":"seg_lt","args":[{"type":"seg"},{"type":"seg"}],"returns":"boolean"}
{"name":"seg_out","args":[{"type":"seg"}],"returns":"cstring"}
{"name":"seg_over_left","args":[{"type":"seg"},{"type":"seg"}],"returns":"boolean"}
{"name":"seg_over_right","args":[{"type":"seg"},{"type":"seg"}],"returns":"boolean"}
{"name":"seg_overlap","args":[{"type":"seg"},{"type":"seg"}],"returns":"boolean"}
{"name":"seg_right","args":[{"type":"seg"},{"type":"seg"}],"returns":"boolean"}
{"name":"seg_same","args":[{"type":"seg"},{"type":"seg"}],"returns":"boolean"}
{"name":"seg_size","args":[{"type":"seg"}],"returns":"real"}
{"name":"seg_union","args":[{"type":"seg"},{"type":"seg"}],"returns":"seg"}
{"name":"seg_upper","args":[{"type":"seg"}],"returns":"real"}