Module `Hax_engine.Generic_printer`

module LazyDoc = Generated_generic_printer_base.LazyDoc

module Annotation : sig ... end

module AnnotatedString : sig ... end

class span_helper : object ... end

Helper class that brings imperative span

module Make (F : Features.T) : sig ... end