class type term_editor =
object
method coerce : GObj.widget
+ (* get_as_string returns the unquoted string *)
method get_as_string : string
method get_metasenv_and_term :
context:Cic.context ->
module Make (C : Disambiguate.Callbacks) :
sig
val term_editor :
+ MQIConn.handle ->
?packing:(GObj.widget -> unit) ->
?width:int ->
?height:int ->