Toplevel¶
This document is auto-generated for Owl’s APIs. #3 entries have been extracted. timestamp: 2018-04-16 13:12:54
Github: {Signature} {Implementation}
Core functions¶
val printers : string list
List of registered pretty printers for Owl.
val install_printers : string list -> unit
Install all the registered pretty printers.