| A | Morley.Types |
| ABS | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| Abs | Michelson.Typed |
| ADD | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| Add | Michelson.Typed |
| addMutez | Tezos.Core |
| AddOverflow | Michelson.Typed |
| ADDRESS | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| Address | Tezos.Address |
| AddressState | Morley.Runtime.GState, Morley.Runtime |
| AMOUNT | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| AND | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| And | Michelson.Typed |
| ann | Michelson.Untyped, Morley.Types |
| Annotation | |
| 1 (Type/Class) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Untyped, Morley.Types |
| applySing | Michelson.Typed |
| applyUpdate | Morley.Runtime.GState |
| applyUpdates | Morley.Runtime.GState |
| ArithError | Michelson.Typed |
| ArithErrorType | Michelson.Typed |
| ArithOp | Michelson.Typed |
| ArithRes | Michelson.Typed |
| asBalance | Morley.Runtime.GState |
| ASContract | Morley.Runtime.GState, Morley.Runtime |
| ASSERT | Morley.Types |
| ASSERTX | Morley.Types |
| ASSERT_CMP | Morley.Types |
| ASSERT_LEFT | Morley.Types |
| ASSERT_NONE | Morley.Types |
| ASSERT_RIGHT | Morley.Types |
| ASSERT_SOME | Morley.Types |
| ASSimple | Morley.Runtime.GState, Morley.Runtime |