package rfsm

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

Module G.Options

val specs : (string * Arg.spec * string) list

specs should list all guest-specific compiler options. These options will be added to those related to the host language.