package mopsa

You can search for identifiers within the package.

in-package search v0.2.0

Module `Toy.String_length`

type MopsaLib.check +=

| CHK_U_SUBSCRIPT_ACCESS

type MopsaLib.alarm_kind +=

| A_u_invalid_subscript of MopsaLib.expr

val safe_subscript_access_check : 
  MopsaLib.expr ->
  'a Mopsa_analyzer.MopsaLib.Flow.flow ->
  'a Mopsa_analyzer.MopsaLib.Flow.flow

val invalid_subscript_access_alarm : 
  MopsaLib.expr ->
  'a Mopsa_analyzer.MopsaLib.Flow.flow ->
  'a Framework.Core.Lattice.lattice ->
  'a Mopsa_analyzer.MopsaLib.Flow.flow

module Domain : sig ... end

package mopsa

Module Toy.String_length

Module `Toy.String_length`