This is the complete list of members for ext_op, including all inherited members.

bind_op (defined in ext_op)	ext_op
copy_term_op (defined in ext_op)	ext_op
mark_op (defined in ext_op)	ext_op
term_to_op (defined in ext_op)	ext_op
to_term_op (defined in ext_op)	ext_op