type console
val console : console Functoria.typ
val default_console : console Functoria.impl
val custom_console : string -> console Functoria.impl