package archetype

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

Module Archetype.Gen_transformSource

Sourceval remove_label : Model.model -> Model.model
Sourceval flat_sequence : Model.model -> Model.model
Sourceval replace_lit_address_by_role : Model.model -> Model.model
Sourceval extend_loop_iter : Model.model -> Model.model
Sourceval extend_removeif : Model.model -> Model.model
Sourceval process_single_field_storage : Model.model -> Model.model
Sourceval check_partition_access : Typing.env -> Model.model -> Model.model