Extract (imandra-base.Imandra_interactive.Reasoning

val extend : scope:scope option -> Imandra_surface.Event.types_data -> unit

val generate : 
  scope:scope option ->
  ?signature:Imandra_surface.Uid.t ->
  ?ext_sig:bool ->
  ?accessors:bool ->
  unit ->
  Imandra_surface.Code_fragment.t