package libsail

  1. Overview
  2. Docs
package libsail
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Pretty_print_sail.PrinterSource

The Printer functor defines the printing function based on the supplied printing configuration

Parameters

Signature

Sourceval doc_binding : (Ast.typquant * Ast.typ) -> PPrint.document
Sourceval doc_typschm : Ast.typschm -> PPrint.document