Gen_finite_type (imandra-base.Imandra_codegen.Gen_finite

val name : string

val chan : Imandra_util.Debug.Channel.t

val spf : ( 'a, unit, string ) Stdlib.format -> 'a

type entry = {

fold : string;

forall : string;

exists : string;

choose : string;

}

val mk_alg : 
  Imandra_surface.Uid.t ->
  Imandra_surface.Type.adt_row list ->
  entry option

val mk_ : Imandra_surface.Type.def -> entry option

class plugin : object ... end

val mk_plugin : unit -> Imandra_surface.Plugin.t