package archetype

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

Module Printer_model_ligo.LigoUtilsSource

Sourceval get_actions : Model.model -> action list
Sourceval is_param : action -> Ident.ident -> bool